imported>Citation bot: Altered template type. Add: isbn, volume, series. Removed URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar

2025-05-11T01:16:19Z

Altered template type. Add: isbn, volume, series. Removed URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar

New page

{{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 system|software]] and [[Computer hardware|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/.

== See also ==
* [[List of computer science conferences]]
* [[Symposium on Logic in Computer Science]]
* [[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]]
*[https://link.springer.com/conference/cav Conference proceedings]

{{Authority control}}

[[Category:Theoretical computer science conferences]]
[[Category:Logic conferences]]

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

Computer Aided Verification - Revision history

imported>Citation bot: Altered template type. Add: isbn, volume, series. Removed URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar