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 [...]
I’m still making slides for the ASAP tutorial. Or, rather, I’m still making heaps of videos. The below videos shows how to use the sweep-line method in ASAP, how to change the safety checker to instead use the sweep-line method, and how to [...]
I’m currently working on a tutorial for ASAP, the tool I’m working on at work. The tutorial is a mixture of slides and video demonstrations. You can see the four videos, I’ve currently done below:
 | 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 |