Computer Aided Verification

{{Short description|Annual conference in computer science}}

{{About|the academic conference|the branch of computer science|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{{cite book|last=Clarke|first=Edmund M.|authorlink = Edmund M. Clarke|title=Computer Aided Verification |chapter=Counterexample-Guided Abstraction Refinement |volume=1855|pages=154–169|year=2000|doi=10.1007/10722167_15|display-authors=etal|series=Lecture Notes in Computer Science|isbn=978-3-540-67770-3}} and partial order reduction.{{cite book|last=Valmari|first=Antti|title=Computer-Aided Verification |chapter=A Stubborn Attack On State Explosion |volume=531|pages=156–165|year=1990|doi=10.1007/BFb0023729|series=Lecture Notes in Computer Science|isbn=978-3-540-54477-7}}{{cite book|last=Godefroid|first=Patrice|title=Computer-Aided Verification |chapter=Using Partial Orders to Improve Automatic Verification Methods |volume=531|pages=176–185|year=1990|doi=10.1007/BFb0023731|series=Lecture Notes in Computer Science|isbn=978-3-540-54477-7}} It is often ranked among the top conferences in computer science.{{cite web|title=Ranked Conference List (2010)|url=http://www.arc.gov.au/xls/ERA2010_conference_list.xls|publisher=Australian Research Council|accessdate=3 January 2012|archive-url=https://web.archive.org/web/20120227135721/http://www.arc.gov.au/xls/ERA2010_conference_list.xls|archive-date=27 February 2012|url-status=dead}}{{cite web|title=Top conferences in Software Engineering|url=http://academic.research.microsoft.com/RankList?entitytype=3&topdomainid=2&subdomainid=4&last=0|publisher=Microsoft Academic Search|accessdate=3 January 2012|archive-url=https://archive.today/20130629212014/http://academic.research.microsoft.com/RankList?entitytype=3&topDomainID=2&subDomainID=4&last=0|archive-date=29 June 2013|url-status=dead}}

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.{{Cite book |date=2018 |editor-last=Chockler |editor-first=Hana |editor2-last=Weissenbacher |editor2-first=Georg |url=https://link.springer.com/book/10.1007/978-3-319-96142-2 |series=Lecture Notes in Computer Science |language=en |doi=10.1007/978-3-319-96142-2 |issn=0302-9743 |title=Computer Aided Verification |volume=10982 |isbn=978-3-319-96141-5 }}{{Cite book |date=2017 |editor-last=Majumdar |editor-first=Rupak |editor2-last=Kunčak |editor2-first=Viktor |url=https://link.springer.com/book/10.1007/978-3-319-63390-9 |series=Lecture Notes in Computer Science |language=en |doi=10.1007/978-3-319-63390-9 |issn=0302-9743 |title=Computer Aided Verification |volume=10427 |isbn=978-3-319-63389-3 }}{{Cite book |date=2023 |editor-last=Enea |editor-first=Constantin |editor2-last=Lal |editor2-first=Akash |series=Lecture Notes in Computer Science |language=en |doi=10.1007/978-3-031-37703-7 |issn=0302-9743|doi-access=free |title=Computer Aided Verification |volume=13965 |isbn=978-3-031-37702-0 }} The annual CAV Award was established in 2008. The list of recipients and citations can be found at https://i-cav.org/cav-award/.