CAV Best Papers
International Conference on Computer-Aided Verification
10 papers · 2025–2026
← CAV Conference Info🏆 2026(8)
Distinguished Paper Award
Complete Local Reasoning About Parameterized Programs Over Topologies
Ruotong Cheng; Azadeh Farzan
Distinguished Paper Award
Fast Obligation Translation and Synthesis
Alexandre Duret-Lutz; Giuseppe De Giacomo; Marcin Jurdzinski; Nir Piterman; Moshe Y. Vardi; Shufang Zhu
Distinguished Paper Award
Satisfiability Modulo Extensional Constant Arrays
Mathias Preiner; Aina Niemetz; Clark Barrett
Distinguished Paper Award
Mallob: Scalable Automated Reasoning On Demand
Dominik Schreiber; Niccolò Rigi-Luperti; Peter Sanders
Distinguished Paper Award
Modular Reasoning about Object Relations
Micha Greutmann; Marco Eilers; Peter Müller
Distinguished Paper Award
Velvet: A Foundational Multi-Modal Verifier for Imperative Programs in Lean
Vladimir Gladshtein; Vitaly Kurin; Yueyang Feng; Dipesh Kafle; George Pîrlea; Qiyuan Zhao; Ilya Sergey
Distinguished Paper Award
Liveness Proofs for Hardware Model Checking
Nils Froleyks; Emily Yu; Bart Bogaerts; Armin Biere; Keijo Heljanko
Distinguished Paper Award
Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
Joe Hattori; Naoki Kobayashi; Ken Sakayori
🏆 2025(2)
Distinguished Paper Award
Introducing Certificates to the Hardware Model Checking CompetitionNils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko
Model Checking
Distinguished Paper Award
A Misconception-Driven Adaptive Tutor for Linear Temporal LogicSiddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
EducationLTL