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
2018	Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains.	Qiyi Tang, Franck van Breugel
2018	Fast Numerical Program Analysis with Reinforcement Learning.	Gagandeep Singh, Markus Pschel, Martin T. Vechev
2018	Symbolic Liveness Analysis of Real-World Software.	Daniel Schemmel, Julian Bning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
2018	Propositional Dynamic Logic for Higher-Order Functional Programs.	Yuki Satake, Hiroshi Unno
2018	The Proof Complexity of SMT Solvers.	Robert Robere, Antonina Kolokolova, Vijay Ganesh
2018	Understanding and Extending Incremental Determinization for 2QBF.	Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
2018	Sound Value Iteration.	Tim Quatmann, Joost-Pieter Katoen
2018	Exploiting Synchrony and Symmetry in Relational Verification.	Lauren Pick, Grigory Fedyukovich, Aarti Gupta
2018	Btor2 , BtorMC and Boolector 3.0.	Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere
2018	Solving Quantified Bit-Vectors Using Invertibility Conditions.	Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2018	Quasi-Optimal Partial Order Reduction.	Huyen T. T. Nguyen, Csar Rodrguez, Marcelo Sousa, Camille Coti, Laure Petrucci
2018	Strix: Explicit Reactive Synthesis Strikes Back!	Philipp J. Meyer, Salomon Sickert, Michael Luttenberger
2018	Eager Abstraction for Symbolic Model Checking.	Kenneth L. McMillan
2018	SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability.	Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi
2018	Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.	Jan Kretnsk, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler
2018	Layered Concurrent Programs.	Bernhard Kragl, Shaz Qadeer
2018	Delta-Decision Procedures for Exists-Forall Problems over the Reals.	Soonho Kong, Armando Solar-Lezama, Sicun Gao
2018	Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes.	Hui Kong, Ezio Bartocci, Thomas A. Henzinger
2018	Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm.	Edon Kelmendi, Julia Krmer, Jan Kretnsk, Maximilian Weininger
2018	Syntax-Guided Synthesis with Quantitative Syntactic Objectives.	Qinheping Hu, Loris D'Antoni
2018	MaxSMT-Based Type Inference for Python 3.	Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Mller
2018	Foundations and Tools for the Static Analysis of Ethereum Smart Contracts.	Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
2018	Inner and Outer Approximating Flowpipes for Delay Differential Equations.	Eric Goubault, Sylvie Putot, Lorenz Sahlmann
2018	The JKind Model Checker.	Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
2018	Reactive Control Improvisation.	Daniel J. Fremont, Sanjit A. Seshia

626–650 of 2,162← Previous Next →

Comparable venues

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