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 […]
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
I may no longer be allowed to name tools at work, but I am still the only one able to make new builds of CPN Tools. Hence, I present the upcoming version 2.3.9: […]
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 […]
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Checking for Dead-locks in ASAP in less than two and a half minute. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]