Formal Verification of VHDL ¾ The Model Checker CV.

David Déharbe Subash Shankar Edmund M. Clarke

Published in: SBCCI (1998)

Keyphrases

formal verification
model checker
model checking
symbolic model checking
automated verification
bounded model checking
transition systems
temporal logic
formal methods
software engineering