Login / Signup
NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
Alessandro Cimatti
Edmund M. Clarke
Enrico Giunchiglia
Fausto Giunchiglia
Marco Pistore
Marco Roveri
Roberto Sebastiani
Armando Tacchella
Published in:
CAV (2002)
Keyphrases
</>
symbolic model checking
model checking
partial observability
formal verification
binary decision diagrams
symbolic representation
model checker
temporal logic
web services
planning domains