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	Counting Minimal Unsatisfiable Subsets.	Jaroslav Bendk, Kuldeep S. Meel
2021	Debugging Network Reachability with Blocked Paths.	Sam Bayless, John D. Backes, Dan DaCosta, Benjamin F. Jones, Nate Launchbury, Patrick Trentin, Kelsey Jewell, Sagar Joshi, Michael Q. Zeng, Nandita Mathews
2021	A Temporal Logic for Asynchronous Hyperproperties.	Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, Csar Snchez
2021	Latticed k-Induction with an Application to Probabilistic Programs.	Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schrer
2021	Causality-Based Game Solving.	Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
2021	JavaSMT 3: Interacting with SMT Solvers in Java.	Daniel Baier, Dirk Beyer, Karlheinz Friedberger
2021	Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models.	Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte, Peter Sewell
2021	PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs.	Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinsk
2021	IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability.	tienne Andr
2021	Adapting Behaviors via Reactive Synthesis.	Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss
2021	Lower-Bound Synthesis Using Loop Specialization and Max-SMT.	Elvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio
2021	Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata.	S. Akshay, Paul Gastin, Karthik R. Prakash
2021	Stateless Model Checking Under a Reads-Value-From Equivalence.	Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman
2021	Learning Probabilistic Termination Proofs.	Alessandro Abate, Mirco Giacobbe, Diptarko Roy
2020	The Move Prover.	Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill
2020	Systematic Generation of Diverse Benchmarks for DNN Verification.	Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum
2020	Front Matter, Table of Contents, Preface, Conference Organization.
2020	Maximum Causal Entropy Specification Inference from Demonstrations.	Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2020	fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components.	Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan
2020	NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.	Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2020	Verification of Deep Convolutional Neural Networks Using ImageStars.	Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
2020	Automated and Scalable Verification of Integer Multipliers.	Mertcan Temel, Anna Slobodov, Warren A. Hunt
2020	Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling.	Mate Soos, Stephan Gocht, Kuldeep S. Meel
2020	Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing.	Friedrich Slivovsky
2020	Code2Inv: A Deep Learning Framework for Program Verification.	Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song

451–475 of 2,162← Previous Next →

Comparable venues

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