Computer Aided Verification (CAV)
A conference, workshop or journal: the thing that recurs, across all its years.
The main annual conference on computer-aided verification, running since 1989. CAV covers the theory and practice of automatically proving things about hardware and software — model checking, SAT and SMT, abstract interpretation, synthesis and the tools built on them — and is one of the two or three venues where the field's results first appear.
Part of Lecture Notes in Computer Science.
3 references
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Stijn de Gouw et al. (2015) · Computer Aided Verification
Automating Separation Logic with Trees and Data
Ružica Piskač et al. (2014) · Computer Aided Verification
Automating Separation Logic Using SMT
Ružica Piskač et al. (2013) · Computer Aided Verification