unfsmodels 0.9: a LTL model checker using net unfoldings

Reference:

Keijo Heljanko and Patrik Simons. unfsmodels 0.9: a LTL model checker using net unfoldings. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2001. Software.

Keywords:

net unfoldings, model checking, tableau systems, LTL, Petri nets

Suggested BibTeX entry:

@misc{unfsmodels0.9,
    author = {Keijo Heljanko and Patrik Simons},
    howpublished = {Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland},
    note = {Software},
    title = {unfsmodels 0.9: a {LTL} model checker using net unfoldings},
    year = {2001},
}