NuSMV-2.3.99-CAV2006

Timo Latvala, Tommi Junttila

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2006
    MoE publication typeI2 ICT software

    Keywords

    • Alternating automaton
    • Bounded model checking
    • Computer aided verification
    • NuSMV
    • Property specification language
    • PSL

    Cite this

    Latvala, T. (Author), & Junttila, T. (Author). (2006). NuSMV-2.3.99-CAV2006. Software