This is a presentation of the paper M. Westergaard, “Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL,” in Proc. of BPM, 2011. [Bibtex] @inproceedings{improved-translation, author = {Westergaard, Michael}, title = {Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using [...]
Archive of posts tagged LTL
Slides from AIS Group Meeting
Note: If you get a security error, it is not from my site but from SlideShare – I have contacted their support to fix the problem. This morning I gave a presentation of what I’ve been doing lately. It is basically an extended [...]
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 [...]
