Announcements‎ > ‎

Recent activity on kiltera

posted Jun 18, 2012, 9:06 AM by Ernesto Posse
It has been a while since the last update, but kiltera is still alive. I have been doing a lot of cleaning up of the simulator, but version 2.0 is not quite ready yet. On the plus side, I'll be releasing not only an improved simulator, but also a symbolic model checker for kiltera.