NuSMV: a new symbolic model checker
GPTKB entity
Statements (21)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:academic_journal
|
gptkbp:author |
A. Cimatti
A. Tacchella E. Clarke E. Giunchiglia F. Giunchiglia M. Pistore M. Roveri R. Sebastiani |
gptkbp:describes |
gptkb:NuSMV
|
https://www.w3.org/2000/01/rdf-schema#label |
NuSMV: a new symbolic model checker
|
gptkbp:publicationYear |
2002
|
gptkbp:publishedIn |
gptkb:International_Conference_on_Computer_Aided_Verification_(CAV)
|
gptkbp:subject |
gptkb:logic
formal verification model checking symbolic model checking finite state systems |
gptkbp:title |
gptkb:NuSMV:_a_new_symbolic_model_checker
|
gptkbp:bfsParent |
gptkb:NuSMV
|
gptkbp:bfsLayer |
6
|