NuSMV-bPLTL

Timo Latvala

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2004
    MoE publication typeI2 ICT software

    Keywords

    • Bounded model checking,
    • NuSMV
    • PLTL,

    Cite this