punroll 0.3: a bounded reachability checker

Keijo Heljanko

    Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisuSoftwareScientific

    AlkuperäiskieliEnglanti
    TilaJulkaistu - 2001
    OKM-julkaisutyyppiI2 ICT-ohjelmistot

    Tutkimusalat

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

    Siteeraa tätä