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