Bye, Bye, Britney!

So, the thingamajig connecting the televisiony part of my compy to the typewritery part is approacking its EOL faster than a socialist spending somebody else’s money. Also, I named my laptop Britney – hence the post title – I would never dream of retiring my support for Ms. B. MichaelTime person of the year 2006, […]

Read More… from Bye, Bye, Britney!

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