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	Pono: A Flexible and Extensible SMT-Based Model Checker.	Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett
2021	Gillian, Part II: Real-World Verification for JavaScript and C.	Petar Maksimovic, Sacha-lie Ayoun, Jos Fragoso Santos, Philippa Gardner
2021	ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures.	Lorenz Leutgeb, Georg Moser, Florian Zuleger
2021	Porous Invariants.	Engel Lefaucheux, Jol Ouaknine, David Purser, James Worrell
2021	An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation.	Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes
2021	HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL.	Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba lveczky
2021	Formally Verified Switching Logic for Recoverability of Aircraft Controller.	Ratan Lal, Aaron McKinnis, Dustin Hauptman, Shawn Keshmiri, Pavithra Prabhakar
2021	Decision Tree Learning in CEGIS-Based Termination Analysis.	Satoshi Kura, Hiroshi Unno, Ichiro Hasuo
2021	ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends.	Gereon Kremer, Aina Niemetz, Mathias Preiner
2021	GenMC: A Model Checker for Weak Memory Models.	Michalis Kokologiannakis, Viktor Vafeiadis
2021	Algebraic Program Analysis.	Zachary Kincaid, Thomas W. Reps, John Cyphert
2021	PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier.	Haitham Khedr, James Ferlez, Yasser Shoukry
2021	Runtime Monitors for Markov Decision Processes.	Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
2021	Enforcing Almost-Sure Reachability in POMDPs.	Sebastian Junges, Nils Jansen, Sanjit A. Seshia
2021	Interpolation and Model Checking for Nonlinear Arithmetic.	Dejan Jovanovic, Bruno Dutertre
2021	Delay-Bounded Scheduling Without Delay!	Andrew Johnson, Thomas Wahl
2021	AIGEN: Random Generation of Symbolic Transition Systems.	Swen Jacobs, Mouhammad Sakr
2021	Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.	Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2021	Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper).	Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
2021	Synthesis with Asymptotic Resource Bounds.	Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2021	Model Checking Finite-Horizon Markov Chains with Probabilistic Inference.	Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
2021	Foundations of Fine-Grained Explainability.	Sylvain Hall, Hugo Tremblay
2021	Model-Free Reinforcement Learning for Branching Markov Decision Processes.	Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	Robustness Verification of Quantum Classifiers.	Ji Guan, Wang Fang, Mingsheng Ying
2021	Balancing Automation and Control for Formal Verification of Microprocessors.	Shilpi Goel, Anna Slobodov, Rob Sumners, Sol Swords

401–425 of 2,162← Previous Next →

Comparable venues

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