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

References

  1. ↑ "Ranked Conference List (2010)". Australian Research Council. Archived from the original on 27 February 2012. Retrieved 3 January 2012.
  2. ↑ "Top conferences in Software Engineering". Microsoft Academic Search. Archived from the original on 29 June 2013. Retrieved 3 January 2012.
  3. ↑ 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.
  4. ↑ 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.
  5. ↑ 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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.