NuSMV (Q17072293)

From Wikidata
Jump to navigation Jump to search
reimplementation and extension of SMV model checker
edit
Language Label Description Also known as
English
NuSMV
reimplementation and extension of SMV model checker

    Statements

    Identifiers

     
    edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit