Computer Aided 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. It is one of the highest-ranked conferences in computer science.[1][2] Among the important results originally published in CAV are breakthrough techniques in model checking, such as Counterexample-Guided Abstraction Refinement (CEGAR)[3] and partial order reduction.[4][5]
The first CAV was held in 1989 in Grenoble, France. The CAV proceedings (1989-present) are published by Springer Science+Business Media and are open access.
See also
- List of computer science conferences
- Symposium on Logic in Computer Science
- European Joint Conferences on Theory and Practice of Software
External links
- No URL found. Please specify a URL here or add one to Wikidata.
- bibliography for CAV at DBLP
- Conference proceedings
References
- ^ "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.
- ^ Clarke, Edmund M.; et al. (2000). Counterexample-Guided Abstraction Refinement. CAV. 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. CAV. 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. CAV. Lecture Notes in Computer Science. Vol. 531. pp. 176–185. doi:10.1007/BFb0023731. ISBN 978-3-540-54477-7.
 | This computer science article is a stub. You can help Justapedia by expanding it. |