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
2020	Seminator 2 Can Complement Generalized Bchi Automata via Improved Semi-determinization.	Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek
2020	Qualitative Controller Synthesis for Consumption Markov Decision Processes.	Frantisek Blahoudek, Toms Brzdil, Petr Novotn, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
2020	AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks.	Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safrnek
2020	Approximate Counting of Minimal Unsatisfiable Subsets.	Jaroslav Bendk, Kuldeep S. Meel
2020	Global PAC Bounds for Learning Discrete Time Markov Chains.	Hugo Bazille, Blaise Genest, Cyrille Jgourel, Jun Sun
2020	RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.	Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
2020	PrIC3: Property Directed Reachability for MDPs.	Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schrer
2020	Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.	Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson
2020	Stratified Abstraction of Access Control Policies.	John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim, Byron Cook, Andrew Gacek, Ranjit Jhala, Kasper Se Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan
2020	Good-Enough Synthesis.	Shaull Almagor, Orna Kupferman
2020	Synthesis of Super-Optimized Smart Contracts Using Max-SMT.	Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett
2020	A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.	Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li
2020	SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks.	Milan Ceska, Calvin Chau, Jan Kretnsk
2020	End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract.	Daejun Park, Yi Zhang, Grigore Rosu
2020	MetaVal: Witness Validation via Verification.	Dirk Beyer, Martin Spiessl
2020	Reachability Analysis Using Message Passing over Tree Decompositions.	Sriram Sankaranarayanan
2019	Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS.	Yongwang Zhao, David Sann
2019	Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification.	Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
2019	Gradual Consistency Checking.	Rachid Zennou, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
2019	Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms.	Ruining (Ray) Wu, Ian M. Mitchell
2019	Symbolic Monitoring Against Specifications Parametric in Time and Data.	Masaki Waga, tienne Andr, Ichiro Hasuo
2019	Quantitative Mitigation of Timing Side Channels.	Saeid Tizpaz-Niari, Pavol Cern, Ashutosh Trivedi
2019	Membership-Based Synthesis of Linear Hybrid Automata.	Miriam Garca Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik
2019	Reinforcement Learning and Formal Requirements.	Fabio Somenzi, Ashutosh Trivedi
2019	Loop Summarization with Rational Vector Addition Systems.	Jake Silverman, Zachary Kincaid

526–550 of 2,162← Previous Next →

Comparable venues

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