punroll 0.3: a bounded reachability checker

Keijo Heljanko

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2001
    MoE publication typeI2 ICT software

    Keywords

    • bounded model checking
    • Petri nets
    • process semantics
    • reachability

    Cite this