Tag: ASAP
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 [...]
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 [...]
Math and Tools for Running Experiments
I’m running experiments for a paper, I’m currently working on. We’re testing a new tool, we’re working on. Of course, we compare it to our old tools, so I’m currently generating state spaces for 6 different CPN models. Each model is parametrized, so [...]
More Videos
I’m still making videos (as well as printing). Latest productions below. They show how to do off-line analysis in ASAP, outlines the JoSEL specification for generating a standard report, and, more interestingly, shows how to do hash compaction and how to combine [...]
More Slide-making…
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 [...]