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
2023	Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs.	Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
2023	Satisfiability Modulo Finite Fields.	Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark W. Barrett
2023	Bitwuzla.	Aina Niemetz, Mathias Preiner
2023	Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation.	Mahum Naseer, Osman Hasan, Muhammad Shafique
2023	nekton: A Linearizability Proof Checker.	Roland Meyer, Anton Opaterny, Thomas Wies, Sebastian Wolff
2023	Synthesizing Trajectory Queries from Examples.	Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani
2023	Safe Environmental Envelopes of Discrete Systems.	Rmulo Meira-Ges, Ian Dardik, Eunsuk Kang, Stphane Lafortune, Stavros Tripakis
2023	Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement.	Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro
2023	A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.	Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
2023	Solving String Constraints Using SAT.	Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka
2023	NNV 2.0: The Neural Network Verification Tool.	Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson
2023	Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios.	Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
2023	Local Search for Solving Satisfiability of Polynomial Formulas.	Haokun Li, Bican Xia, Tianqi Zhao
2023	Certifying the Fairness of KNN in the Presence of Dataset Bias.	Yannan Li, Jingbo Wang, Chao Wang
2023	Automated Verification of Correctness for Masked Arithmetic Programs.	Mingyang Liu, Fu Song, Taolue Chen
2023	Complete Multiparty Session Type Projection with Automata.	Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2023	Commutativity for Concurrent Program Termination Proofs.	Danya Lette, Azadeh Farzan
2023	Rely-Guarantee Reasoning for Causally Consistent Shared Memory.	Ori Lahav, Brijesh Dongol, Heike Wehrheim
2023	Guessing Winning Policies in LTL Synthesis by Semantic Learning.	Jan Kretnsk, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
2023	Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.	Nikita Koval, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, Dan Alistarh
2023	Exploiting Adjoints in Property Directed Reachability Analysis.	Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
2023	Unblocking Dynamic Partial Order Reduction.	Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis
2023	R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software.	Chris Johannsen, Phillip H. Jones, Brian Kempa, Kristin Yvonne Rozier, Pei Zhang
2023	Decision Procedures for Sequence Theories.	Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer
2023	Fast Termination and Workflow Nets.	Piotr Hofman, Filip Mazowiecki, Philip Offtermatt

251–275 of 2,162← Previous Next →

Comparable venues

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