Английская Википедия: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. 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
- List of computer science conferences
- Symposium on Logic in Computer Science
- European Joint Conferences on Theory and Practice of Software
External links
References
Шаблон:Comp-sci-stub Шаблон:Compu-conference-stub
