This article is about the academic conference. For the branch of computer science, see 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 (CEGAR)[1] and partial order reduction.[2][3] It is often ranked among the top conferences in computer science.[4][5]
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.[6][7][8]
^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.
^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.
^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.
^"Ranked Conference List (2010)". Australian Research Council. Archived from the original on 27 February 2012. Retrieved 3 January 2012.
^"Top conferences in Software Engineering". Microsoft Academic Search. Archived from the original on 29 June 2013. Retrieved 3 January 2012.
In computer science, the International Conference on Computer-AidedVerification (CAV) is an annual academic conference on the theory and practice of...
Electronic design automation (EDA), also referred to as electronic computer-aided design (ECAD), is a category of software tools for designing electronic...
including formal specification, formal verification, and static code analysis: CAV – ComputerAidedVerification FORTE – IFIP International Conference...
Austrian computer scientist who worked on the areas of computer-aidedverification, software engineering, computer security, and logic in computer science...
Compressed-air vehicle, a vehicle powered by an air engine ComputerAidedVerification, an annual academic computer science conference Connected and autonomous vehicle...
References Concise Promela Reference ComputerAidedVerification of Automata: "The CAVA Project" (2010-2019) and "Verified Model Checkers" (2016-curr) website...
Calcagno, Dino Distafano and Peter O'Hearn, received the 2016 ComputerAidedVerification Award, an award they shared with John C. Reynolds, Samin Ishtiaq...
for Configurable Software Verification" (PDF). Proceedings of the 23rd International Conference on ComputerAidedVerification. Springer-Verlag, Heidelberg...
parameterized verification of cache coherence protocols", Formal Methods in Computer-Aided Design, pp. 382–398, 2004. Formal Verification in Intel Core...
advancing technologies to verify the authenticity of identification documentation. Behavioral verification is the computer-aided and automated detection...
entrepreneur and professor of computer science whose works have been published in such journals as ComputerAidedVerification and Journal of Systems and...