Computer Aided Verification Explained

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]}

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]}

See also

• List of computer science conferences
• Symposium on Logic in Computer Science
• European Joint Conferences on Theory and Practice of Software

External links

• • bibliography for CAV at DBLP
• Conference proceedings

Notes and References

1. Book: Clarke, Edmund M.. Edmund M. Clarke

   . Edmund M. Clarke. Computer Aided Verification . Counterexample-Guided Abstraction Refinement . 1855. 154–169. 2000. 10.1007/10722167_15. etal. Lecture Notes in Computer Science. 978-3-540-67770-3.

2. Book: Valmari, Antti. Computer-Aided Verification . A Stubborn Attack On State Explosion . 531. 156–165. 1990. 10.1007/BFb0023729. Lecture Notes in Computer Science. 978-3-540-54477-7.
3. Book: Godefroid, Patrice. Computer-Aided Verification . Using Partial Orders to Improve Automatic Verification Methods . 531. 176–185. 1990. 10.1007/BFb0023731. Lecture Notes in Computer Science. 978-3-540-54477-7.
4. Web site: Ranked Conference List (2010). Australian Research Council. 3 January 2012. https://web.archive.org/web/20120227135721/http://www.arc.gov.au/xls/ERA2010_conference_list.xls. 27 February 2012. dead.
5. Web site: Top conferences in Software Engineering. Microsoft Academic Search. 3 January 2012. https://archive.today/20130629212014/http://academic.research.microsoft.com/RankList?entitytype=3&topDomainID=2&subDomainID=4&last=0. 29 June 2013. dead.
6. 2018 . Chockler . Hana . Weissenbacher . Georg . Computer Aided Verification . Lecture Notes in Computer Science . en . 10.1007/978-3-319-96142-2 . 0302-9743.
7. 2017 . Majumdar . Rupak . Kunčak . Viktor . Computer Aided Verification . Lecture Notes in Computer Science . en . 10.1007/978-3-319-63390-9 . 0302-9743.
8. 2023 . Enea . Constantin . Lal . Akash . Computer Aided Verification . Lecture Notes in Computer Science . en . 10.1007/978-3-031-37703-7 . 0302-9743. free .