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
|
| 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 |
10
|
| https://www.w3.org/2000/01/rdf-schema#label |
NuSMV: a new symbolic model checker
|