Computer Aided Verification

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[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] 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

References

  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. Retrieved 3 January 2012.{{cite web}}: CS1 maint: deprecated archival service (link)
  6. ^ Chockler, Hana; Weissenbacher, Georg, eds. (2018). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 10982. doi:10.1007/978-3-319-96142-2. ISBN 978-3-319-96141-5. ISSN 0302-9743.
  7. ^ Majumdar, Rupak; Kunčak, Viktor, eds. (2017). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 10427. doi:10.1007/978-3-319-63390-9. ISBN 978-3-319-63389-3. ISSN 0302-9743.
  8. ^ Enea, Constantin; Lal, Akash, eds. (2023). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 13965. doi:10.1007/978-3-031-37703-7. ISBN 978-3-031-37702-0. ISSN 0302-9743.


Stub icon

This computer science article is a stub. You can help Wikipedia by adding missing information.

This article about a computer conference is a stub. You can help Wikipedia by adding missing information.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.