Login / Signup

Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs.

Magali ContensinLaurence 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