Computer Aided Verification (
CAV) is an annual
academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. It is one of the very best conferences in computer science. For example, several important
model checking techniques were published in CAV, such as counterexample-guided abstraction refinement and
partial order reduction methods.