Computer Aided Verification

CAV

CORE rank

CORE rank (raw)

Fields of research

Software Engineering · Theory of Computation

Papers indexed

2,162

1990–2026

Best Software Engineering conferences Best Theory of Computation conferences

Papers per year

199090 peak2026

Most published authors

CAV papers

2,162 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2021	Model Checking mega-Regular Properties with Decoupled Search.	Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jrg Hoffmann
2021	Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference.	Guillaume Girol, Benjamin Farinier, Sbastien Bardin
2021	Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard.	Murdoch James Gabbay, Arvid Jakobsson, Kristina Sojakova
2021	Counterexample-Guided Partial Bounding for Recursive Function Synthesis.	Azadeh Farzan, Victor Nicolet
2021	Summing up Smart Transitions.	Neta Elad, Sophie Rain, Neil Immerman, Laura Kovcs, Mooly Sagiv
2021	Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security.	Marco Eilers, Severin Meier, Peter Mller
2021	Towards Contract Modules for the Tezos Blockchain (Short Paper).	Thi Thu Ha Doan, Peter Thiemann
2021	Towards Verified Price Oracles for Decentralized Exchange Protocols.	Kinnari Dave, Vilhelm Sjberg, Xinyuan Sun
2021	Programmable Program Synthesis.	Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps
2021	Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations.	George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia
2021	Formally Documenting Tenderbake (Short Paper).	Sylvain Conchon, Alexandrina Korneva, agdas Bozman, Mohamed Iguernlala, Alain Mebsout
2021	Checking Data-Race Freedom of GPU Kernels, Compositionally.	Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, Hannah Zicarelli
2021	Automated Safety Verification of Programs Invoking Neural Networks.	Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jrg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wstholz
2021	Model-Checking Structured Context-Free Languages.	Michele Chiari, Dino Mandrioli, Matteo Pradella
2021	Towards a Trustworthy Semantics-Based Language Framework via Proof Generation.	Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu
2021	Fast Computation of Strong Control Dependencies.	Marek Chalupa, David Klaska, Jan Strejcek, Luks Tomovic
2021	Diffy: Inductive Reasoning of Array Programs Using Difference Invariants.	Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2021	Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning.	Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
2021	Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper).	Daniel Britten, Vilhelm Sjberg, Steve Reeves
2021	Program Sketching by Automatically Generating Mocks from Tests.	Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama
2021	Efficient SMT-Based Analysis of Failure Propagation.	Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jons, Greg Kimberly
2021	Verified Cryptographic Code for Everybody.	Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu
2021	An SMT Solver for Regular Expressions and Linear Arithmetic over String Length.	Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2021	LLMC: Verifying High-Performance Software.	Freark I. van der Berg
2021	Computing Bottom SCCs Symbolically Using Transition Guided Reduction.	Nikola Benes, Lubos Brim, Samuel Pastva, David Safrnek

426–450 of 2,162← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.