punroll 0.3: a bounded reachability checker

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