I just finished integrating LTL model-checking into ASAP. This is joint work with Sami Evangelista and Thomas Vestergaard. Basically, I’ve made the translation from LTL to a Büchi automaton, Sami made the nested depth-first checker, and Thomas put it together, added a bunch of [...]
Alizée recently released her fourth album (not counting the live album “Alizée En Concert”), named “Une Enfant du Siècle”, which translated more or less is “A Child of the Century”. When I say more or less it’s because it’s named similarly to her own [...]
 | Michael on Introduction to CPN Tools |
 | James Rodger on Introduction to CPN Tools |
 | M.Ravi on Slicker Widgets for ProM |
| Michael on Playing With/Suffering SlickerBox |
| Michael on Slicker Widgets for ProM |