This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
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.
4 references
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
Quang Loc Le and others (2017) · Computer Aided Verification · Springer
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Stijn de Gouw and others (2015) · Computer Aided Verification · Springer
Automating Separation Logic with Trees and Data
Ruzica Piskac and others (2014) · Computer Aided Verification · Springer
Automating Separation Logic Using SMT
Ruzica Piskac and others (2013) · Computer Aided Verification · Springer