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.
The list of recipients and citations can be found at https://i-cav.org/cav-award/.
You can help Wikipedia by expanding it.This article about a computer conference is a stub.