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},
}
|