Reference:
Keijo Heljanko. punroll 0.3: a bounded reachability checker. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2001. Software.
Keywords:
bounded model checking, process semantics, reachability, Petri nets
Suggested BibTeX entry:
@misc{punroll0.3,
author = {Keijo Heljanko},
howpublished = {Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland},
note = {Software},
title = {punroll 0.3: a bounded reachability checker},
year = {2001},
}
|