Tag: ASAP

LTL Model-checking in 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 bunch […]

By April 5, 2010 6 Comments Read More →
Name Scheming

Name Scheming

3.9:

By February 22, 2010 1 Comments Read More →
Lecture on State Spaces in the CPN Course

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 […]

By February 21, 2010 0 Comments Read More →
Math and Tools for Running Experiments

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 in […]

By January 15, 2010 0 Comments Read More →

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 the […]

By October 6, 2009 0 Comments Read More →

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 to […]

By October 6, 2009 0 Comments Read More →