LTL Model-checking in ASAP

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 utility functions, and made the initial integration into ASAP.  After that […]

Read More… from LTL Model-checking in ASAP

Lecture on State Spaces in the CPN Course

I am to give a guest lecture on ASAP for the CPN course tomorrow.  For that, I've prepared a couple videos – one showing off the SS tools of CPN Tools and two showing off the SS tool in ASAP.  None of the videos have any sound, but I am planning on ustreaming the lecture […]

Read More… from Lecture on State Spaces in the CPN Course