# Computer Aided Verification

> Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Computer_Aided_Verification
> Markdown URL: https://mediated.wiki/source/Computer_Aided_Verification.md
> Source: https://en.wikipedia.org/wiki/Computer_Aided_Verification
> Source revision: 1289814013
> License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/)

{{Short description|Annual conference in computer science}}
{{About|the academic conference|the branch of computer science|formal verification}}

In [computer science](/source/computer_science), the '''International Conference on Computer-Aided Verification''' ('''CAV''') is an annual [academic conference](/source/academic_conference) on the theory and practice of computer-aided formal analysis of [software](/source/Software_system) and [hardware](/source/Computer_hardware) systems, broadly known as [formal methods](/source/formal_methods). Among the important results originally published in CAV are techniques in [model checking](/source/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](/source/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](/source/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](/source/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](/source/Grenoble), [France](/source/France). The CAV proceedings (1989-present) are published by [Springer Science+Business Media](/source/Springer_Science%2BBusiness_Media). They have been [open access](/source/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/.

== See also ==
* [List of computer science conferences](/source/List_of_computer_science_conferences)
* [Symposium on Logic in Computer Science](/source/Symposium_on_Logic_in_Computer_Science)
* [European Joint Conferences on Theory and Practice of Software](/source/European_Joint_Conferences_on_Theory_and_Practice_of_Software)

== References ==
{{Reflist}}

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

{{Authority control}}

Category:Theoretical computer science conferences
Category:Logic conferences

{{comp-sci-stub}}
{{compu-conference-stub}}

---
Adapted from the Wikipedia article [Computer Aided Verification](https://en.wikipedia.org/wiki/Computer_Aided_Verification) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Computer_Aided_Verification?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.