Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Computer Aided Verification
Annual conference series on 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 and partial order reduction. It is often ranked among the top conferences in computer science.

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. The annual CAV Award was established in 2008. The list of recipients and citations can be found at https://i-cav.org/cav-award/.

We don't have any images related to Computer Aided Verification yet.
We don't have any YouTube videos related to Computer Aided Verification yet.
We don't have any PDF documents related to Computer Aided Verification yet.
We don't have any Books related to Computer Aided Verification yet.
We don't have any archived web articles related to Computer Aided Verification yet.

See also

References

  1. 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. 978-3-540-67770-3 ↩

  2. 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. 978-3-540-54477-7 ↩

  3. 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. 978-3-540-54477-7 ↩

  4. "Ranked Conference List (2010)". Australian Research Council. Archived from the original on 27 February 2012. Retrieved 3 January 2012. https://web.archive.org/web/20120227135721/http://www.arc.gov.au/xls/ERA2010_conference_list.xls ↩

  5. "Top conferences in Software Engineering". Microsoft Academic Search. Archived from the original on 29 June 2013. Retrieved 3 January 2012. https://archive.today/20130629212014/http://academic.research.microsoft.com/RankList?entitytype=3&topDomainID=2&subDomainID=4&last=0 ↩

  6. 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. 978-3-319-96141-5 ↩

  7. 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. 978-3-319-63389-3 ↩

  8. 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. 978-3-031-37702-0 ↩