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.
Computer Aided Verification (CAV), since 1989: theory and practice of automated proof about hardware and software - model checking, SAT/SMT, abstract interpretation, synthesis and their tools.
Part of Lecture Notes in Computer Science.
6 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
Mechanically verifying a family of multiplier circuits
Deepak Kapur and others (1996) · Computer Aided Verification (CAV) · Springer Berlin Heidelberg
Automatic verification of pipelined microprocessor control
Jerry R. Burch and others (1994) · Computer Aided Verification (CAV) · Springer