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
2019	When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol.	Jennifer A. Davis, Laura R. Humphrey, Derek B. Kingston
2019	Sound Approximation of Programs with Elementary Functions.	Eva Darulova, Anastasia Volkova
2019	Symbolic Register Automata.	Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
2019	Communication-Closed Asynchronous Protocols.	Andrei Damian, Cezara Dragoi, Alexandru Militaru, Josef Widder
2019	Verifying Hyperliveness.	Norine Coenen, Bernd Finkbeiner, Csar Snchez, Leander Tentrup
2019	Extending nuXmv with Timed Transition Systems and Timed Temporal Properties.	Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
2019	Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks.	Milan Ceska, Jan Kretnsk
2019	Robust Controller Synthesis in Timed Bchi Automata: A Symbolic Approach.	Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur
2019	Invertibility Conditions for Floating-Point Formulas.	Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2019	On the Complexity of Checking Consistency for Replicated Data Types.	Ranadeep Biswas, Michael Emmi, Constantin Enea
2019	Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics.	Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham
2019	Checking Robustness Against Snapshot Isolation.	Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
2019	Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler.	Heiko Becker, Eva Darulova, Magnus O. Myreen, Zachary Tatlock
2019	Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion.	Suguman Bansal, Moshe Y. Vardi
2019	Reachability Analysis for AWS-Based Networks.	John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley
2019	Run-Time Optimization for Learned Controllers Through Quantitative Games.	Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Knighofer, Stefan Pranger
2019	PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games.	Pranav Ashok, Jan Kretnsk, Maximilian Weininger
2018	Safety-Aware Apprenticeship Learning.	Weichao Zhou, Wenchao Li
2018	SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks.	Jun Zhang, Pengfei Gao, Fu Song, Chao Wang
2018	Partial Order Aware Concurrency Sampling.	Xinhao Yuan, Junfeng Yang, Ronghui Gu
2018	Lazy Self-composition for Security Verification.	Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik
2018	From Programs to Interpretable Deep Models and Back.	Eran Yahav
2018	Learning Abstractions for Program Synthesis.	Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan
2018	Formally Verified Montgomery Multiplication.	Christoph Walther
2018	Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System.	Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb

601–625 of 2,162← Previous Next →

Comparable venues

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