Computer Aided 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[1] and partial order reduction.[2][3] It is often ranked among the top conferences in computer science.[4][5]
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.[6][7][8] 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
[edit]- List of computer science conferences
- Symposium on Logic in Computer Science
- European Joint Conferences on Theory and Practice of Software
References
[edit]- ^ 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. Archived from the original on 29 June 2013. Retrieved 3 January 2012.
- ^ Chockler, Hana; Weissenbacher, Georg, eds. (2018). "Computer Aided Verification". Lecture Notes in Computer Science. doi:10.1007/978-3-319-96142-2. ISSN 0302-9743.
- ^ Majumdar, Rupak; Kunčak, Viktor, eds. (2017). "Computer Aided Verification". Lecture Notes in Computer Science. doi:10.1007/978-3-319-63390-9. ISSN 0302-9743.
- ^ Enea, Constantin; Lal, Akash, eds. (2023). "Computer Aided Verification". Lecture Notes in Computer Science. doi:10.1007/978-3-031-37703-7. ISSN 0302-9743.
External links
[edit]
| International | |
|---|---|
| National | |
 | This computer science article is a stub. You can help Wikipedia by expanding it. |