CAV (1)

Keyphrases

Publications

2024

Yannick Stade, Sarah Tilscher, Helmut Seidl
The Top-Down Solver Verified: Building Confidence in Static Analyzers. CAV (1) (2024)
Peter Habermehl, Vojtech Havlena, Michal Hecko, Lukás Holík, Ondrej Lengál
Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. CAV (1) (2024)
Kenneth L. McMillan
Toward Liveness Proofs at Scale. CAV (1) (2024)
Charlie Murphy, Zachary Kincaid
Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement. CAV (1) (2024)
Aina Niemetz, Mathias Preiner, Yoni Zohar
Scalable Bit-Blasting with Abstractions. CAV (1) (2024)
Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant
From Clauses to Klauses [inline-graphic not available: see fulltext]. CAV (1) (2024)
Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
SMT-Based Symbolic Model-Checking for Operator Precedence Languages. CAV (1) (2024)
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
SMLP: Symbolic Machine Learning Prover. CAV (1) (2024)
Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier
The MoXI Model Exchange Tool Suite. CAV (1) (2024)
Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
A Framework for Debugging Automated Program Verification Proofs via Proof Actions. CAV (1) (2024)
Nikolaj S. Bjørner, Lev Nachmanson
Arithmetic Solving in Z3. CAV (1) (2024)
Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt
CaDiCaL 2.0. CAV (1) (2024)
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
Formally Certified Approximate Model Counting. CAV (1) (2024)
Chenglin Wang, Fangzhen Lin
On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches. CAV (1) (2024)
Dxo, Mate Soos, Zoe Paraskevopoulou, Martin Lundfall, Mikael Brockman
Hevm, a Fast Symbolic Execution Framework for EVM Bytecode. CAV (1) (2024)
Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li
Avoiding the Shoals - A New Approach to Liveness Checking. CAV (1) (2024)
Mengyu Zhao, Shaowei Cai, Yuhang Qian
Distributed SMT Solving Based on Dynamic Variable-Level Partitioning. CAV (1) (2024)
Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin
End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT. CAV (1) (2024)
Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina
SolTG: A CHC-Based Solidity Test Case Generator. CAV (1) (2024)
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
Split Gröbner Bases for Satisfiability Modulo Finite Fields. CAV (1) (2024)
Marco Eilers, Malte Schwerhoff, Peter Müller
Verification Algorithms for Automated Separation Logic Verifiers. CAV (1) (2024)
Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser
Strided Difference Bound Matrices. CAV (1) (2024)
Shaowei Zhu, Zachary Kincaid
Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates. CAV (1) (2024)
Sujit Kumar Muduli, Rohan Ravikumar Padulkar, Subhajit Roy
Interactive Theorem Proving Modulo Fuzzing. CAV (1) (2024)

volume 14681, 2024

Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I CAV (1) 14681 (2024)

2023

volume 13964, 2023

Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I CAV (1) 13964 (2023)

volume 13371, 2022

Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I CAV (1) 13371 (2022)