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