Login / Signup
Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs.
Magali Contensin
Laurence Pierre
Published in:
MEMOCODE (2003)
Keyphrases
</>
model checker
model checking
formal verification
transition systems
temporal logic
description language
formal methods
machine learning
test set
symbolic model checking