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 Refinement1 and partial order reduction.23 It is often ranked among the top conferences in computer science.45
The first CAV was held in 1989 in Grenoble, France. The CAV proceedings (1989-present) are published by Springer Science+Business Media. They have been open access since 2018.678 The annual CAV Award was established in 2008. The list of recipients and citations can be found at https://i-cav.org/cav-award/.
See also
See also
References
References
- 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. ISBN 978-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. ISBN 978-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. ISBN 978-3-540-54477-7.
- "Ranked Conference List (2010)". Australian Research Council. Archived from the original on 27 February 2012. Retrieved 3 January 2012.
- "Top conferences in Software Engineering". Microsoft Academic Search. Retrieved 3 January 2012.
{{cite web}}: CS1 maint: deprecated archival service (link) - Chockler, Hana; Weissenbacher, Georg, eds. (2018). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 10982. doi:10.1007/978-3-319-96142-2. ISBN 978-3-319-96141-5. ISSN 0302-9743.
- Majumdar, Rupak; Kunčak, Viktor, eds. (2017). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 10427. doi:10.1007/978-3-319-63390-9. ISBN 978-3-319-63389-3. ISSN 0302-9743.
- Enea, Constantin; Lal, Akash, eds. (2023). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 13965. doi:10.1007/978-3-031-37703-7. ISBN 978-3-031-37702-0. ISSN 0302-9743.
