Jump to content

Computer Aided Verification

Edit links
From Wikipedia, the free encyclopedia
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]

See also

[edit]

References

[edit]
  1. ^ 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.
  2. ^ 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.
  3. ^ 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.
  4. ^ "Ranked Conference List (2010)". Australian Research Council. Archived from the original on 27 February 2012. Retrieved 3 January 2012.
  5. ^ "Top conferences in Software Engineering". Microsoft Academic Search. Archived from the original on 29 June 2013. Retrieved 3 January 2012.
  6. ^ Chockler, Hana; Weissenbacher, Georg, eds. (2018). "Computer Aided Verification". Lecture Notes in Computer Science. doi:10.1007/978-3-319-96142-2. ISSN 0302-9743.
  7. ^ Majumdar, Rupak; Kunčak, Viktor, eds. (2017). "Computer Aided Verification". Lecture Notes in Computer Science. doi:10.1007/978-3-319-63390-9. ISSN 0302-9743.
  8. ^ Enea, Constantin; Lal, Akash, eds. (2023). "Computer Aided Verification". Lecture Notes in Computer Science. doi:10.1007/978-3-031-37703-7. ISSN 0302-9743.
[edit]


Stub icon

This computer science article is a stub. You can help Wikipedia by expanding it.

This article about a computer conference is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Computer_Aided_Verification&oldid=1229502390"