boundsmodels 0.9: a bounded LTL model checker

Reference:

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

Keywords:

bounded model checking, logic programming, stable models

Suggested BibTeX entry:

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