This article is about the academic conference. For the branch of computer science, see
formal verification.
In
computer science, the International Conference on Computer-Aided Verification (CAV) is an annual
academic conference on the theory and practice of computer-aided formal analysis of
software and
hardware systems, broadly known as
formal methods. Among the important results originally published in CAV are techniques in
model checking, such as Counterexample-Guided Abstraction Refinement (CEGAR)[1] and
partial order reduction.[2][3] It is often ranked among the top conferences in computer science.[4][5]
^Clarke, Edmund M.; et al. (2000). "Counterexample-Guided Abstraction Refinement". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 1855. pp. 154–169.
doi:
10.1007/10722167_15.
ISBN978-3-540-67770-3.
^Valmari, Antti (1990). "A Stubborn Attack On State Explosion". Computer-Aided Verification. Lecture Notes in Computer Science. Vol. 531. pp. 156–165.
doi:
10.1007/BFb0023729.
ISBN978-3-540-54477-7.
^Godefroid, Patrice (1990). "Using Partial Orders to Improve Automatic Verification Methods". Computer-Aided Verification. Lecture Notes in Computer Science. Vol. 531. pp. 176–185.
doi:
10.1007/BFb0023731.
ISBN978-3-540-54477-7.