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<ref name=cegar>{{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}}</ref> and partial order reduction.<ref>{{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}}</ref><ref>{{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}}</ref> It is often ranked among the top conferences in computer science.<ref>{{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}}</ref><ref>{{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}}</ref>

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.<ref name=2018Proceedings>{{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 }}</ref><ref name=2017Proceedings>{{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 }}</ref><ref name=2023Proceedings>{{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 }}</ref> The annual CAV Award was established in 2008. The list of recipients and citations can be found at https://i-cav.org/cav-award/.

== References == {{Reflist}}

== External links == *{{Official website}} *[https://dblp.org/streams/conf/cav bibliography for CAV] at DBLP *[https://link.springer.com/conference/cav Conference proceedings]

Category:Theoretical computer science conferences Category:Logic conferences