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	Parameterized Verification of Systems with Global Synchronization and Guards.	Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta
2020	SAW: A Tool for Safety Analysis of Weakly-Hard Systems.	Chao Huang, Kai-Chieh Chang, Chung-Wei Lin, Qi Zhu
2020	Optimistic Value Iteration.	Arnd Hartmanns, Benjamin Lucien Kaminski
2020	Formal Specification and Verification of Solidity Contracts with Events (Short Paper).	kos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie
2020	Certifying Certainty and Uncertainty in Approximate Membership Query Structures.	Kiran Gopinathan, Ilya Sergey
2020	Manthan: A Data-Driven Approach for Boolean Function Synthesis.	Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2020	Synthesizing JIT Compilers for In-Kernel DSLs.	Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak
2020	Nonlinear Craig Interpolant Generation.	Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai
2020	Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI.	Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia
2020	Realizing mega-regular Hyperproperties.	Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
2020	AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL.	Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog
2020	Unbounded-Time Safety Verification of Stochastic Differential Dynamics.	Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan
2020	Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models.	Chuchu Fan, Kristina Miller, Sayan Mitra
2020	An Abstraction-Based Framework for Neural Network Verification.	Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz
2020	Recursive Data Structures in SPARK.	Claire Dross, Johannes Kanig
2020	PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.	Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani
2020	Automata Tutor v3.	Loris D'Antoni, Martin Helfrich, Jan Kretnsk, Emanuel Ramneantu, Maximilian Weininger
2020	Root Causing Linearizability Violations.	Berk irisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2020	Program Synthesis Using Deduction-Guided Reinforcement Learning.	Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng
2020	Stochastic Games with Lexicographic Reachability-Safety Objectives.	Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020	Reasoning over Permissions Regions in Concurrent Separation Logic.	James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson
2020	Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).	Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
2020	A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract.	Colin Boyd, Kristian Gjsteen, Shuang Wu
2020	Towards Verifying the Bitcoin-S Library (Short Paper).	Ramon Boss, Kai Brnnler, Anna Doukmak
2020	Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.	Michael Blondin, Javier Esparza, Martin Helfrich, Antonn Kucera, Philipp J. Meyer

501–525 of 2,162← Previous Next →

Comparable venues

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