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	Monitoring Algorithmic Fairness.	Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2023	Formula Normalizations in Verification.	Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak
2023	Kratos2: An SMT-Based Model Checker for Imperative Programs.	Alberto Griggio, Martin Jons
2023	Partial Quantifier Elimination and Property Generation.	Eugene Goldberg
2023	Fast Approximations of Quantifier Elimination.	Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
2023	Early Verification of Legal Compliance via Bounded Satisfiability Checking.	Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
2023	Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet.	Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella
2023	The Vehicle Tutorial: Neural Network Verification with Vehicle.	Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
2023	Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.	Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
2023	nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.	Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
2023	Learning Assumptions for Compositional Verification of Timed Automata.	Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi
2023	AutoQ: An Automata-Based Quantum Circuit Verifier.	Yu-Fang Chen, Kai-Min Chung, Ondrej Lengl, Jyun-Ao Lin, Wei-Lun Tsai
2023	ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.	Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
2023	Verifying Global Neural Network Specifications using Hyperproperties.	David Boetius, Stefan Leue
2023	The Golem Horn Solver.	Martin Blicha, Konstantin Britikov, Natasha Sharygina
2023	Process Equivalence Problems as Energy Games.	Benjamin Bisping
2023	Second-Order Hyperproperties.	Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2023	Efficient Sensitivity Analysis for Parametric Robust Markov Chains.	Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
2023	Automated Analyses of IOT Event Monitoring Systems.	Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav
2023	Search and Explore: Symbiotic Policy Synthesis in POMDPs.	Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Mack
2023	Synthesizing Permissive Winning Strategy Templates for Parity Games.	Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023	Verifying Generalization in Deep Learning.	Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
2023	Automatic Program Instrumentation for Automatic Verification.	Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidstrm, Philipp Rmmer
2023	Policy Synthesis and Reinforcement Learning for Discounted LTL.	Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2023	Formally Verified EVM Block-Optimizations.	Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin

276–300 of 2,162← Previous Next →

Comparable venues

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