Login / Signup
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker.
Serge Haddad
Jean-Michel Ilié
Kais Klai
Published in:
ATVA (2004)
Keyphrases
</>
model checker
formal methods
model checking
formal verification
building blocks
temporal logic
data mining
case study
data analysis
design process