NuSMV-2.2.3-CAV2005

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2005
    MoE publication typeI2 ICT software

    Keywords

    • bounded model checking
    • NuSMV
    • PLTL

    Cite this