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 […]
LTL Model-checking in ASAP
![](https://westergaard.eu/wp-content/uploads/2010/04/ASAP-001-450x324.png)