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
2014	CEGAR for Qualitative Analysis of Probabilistic Systems.	Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
2014	Regression-Free Synthesis for Concurrency.	Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
2014	MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications.	Petr Cermk, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
2014	The nuXmv Symbolic Model Checker.	Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
2014	Minimizing Running Costs in Consumption Systems.	Toms Brzdil, David Klaska, Antonn Kucera, Petr Novotn
2014	Safraless Synthesis for Epistemic Temporal Specifications.	Rodica Bozianu, Catalin Dima, Emmanuel Filiot
2014	Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR).	Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher
2014	Verifying Relative Error Bounds Using Symbolic Simulation.	Jesse Bingham, Joe Leslie-Hurd
2014	Software Verification in the Google App-Engine Cloud.	Dirk Beyer, Georg Dresler, Philipp Wendler
2014	Engineering a Static Verification Tool for GPU Kernels.	Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer
2014	Program Verification using Constraint Handling Rules and Array Constraint Generalizations.	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
2014	Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion.	Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
2014	String Constraints for Verification.	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luks Holk, Ahmed Rezine, Philipp Rmmer, Jari Stenman
2014	ICE: A Robust Framework for Learning Invariants.	Pranav Garg, Christof Lding, P. Madhusudan, Daniel Neider
2014	From Invariant Checking to Invariant Inference Using Randomized Search.	Rahul Sharma, Alex Aiken
2013	Programs from Proofs - A PCC Alternative.	Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
2013	Efficient Generation of Small Interpolants in CNF.	Yakir Vizel, Vadim Ryvchin, Alexander Nadel
2013	Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries.	Richard Uhler, Nirav Dave
2013	GOAL for Games, Omega-Automata, and Logics.	Ming-Hsien Tsai, Yih-Kuen Tsay, Yu-Shiang Hwang
2013	Building trustworthy refactoring tools.	Simon Thompson
2013	Upper Bounds for Newton's Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata.	Alistair Stewart, Kousha Etessami, Mihalis Yannakakis
2013	Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems.	Adi Sosnovich, Orna Grumberg, Gabi Nakibly
2013	Shrinktech: A Tool for the Robustness Analysis of Timed Automata.	Ocan Sankur
2013	Disjunctive Interpolants for Horn-Clause Verification.	Philipp Rmmer, Hossein Hojjat, Viktor Kuncak
2013	Finite Model Finding in SMT.	Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic

951–975 of 2,162← Previous Next →

Comparable venues

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