Skip to content
cs-conference-ranking.org

Computer Aided Verification

CAV

A*

CORE rank

CORE rank (raw)

A*

Fields of research

Software Engineering · Theory of Computation

Papers indexed

2,162

1990–2026

Best Software Engineering conferencesBest 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.

YearTitleAuthors
2026Untitled recordXiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang
2026Improving Stability of SMT Solvers via Context-Driven Normalization.Xiang Zhang, Mengyu Zhao, Shaohuang Chen, Jian Zhang, Shaowei Cai
2026Massively Parallel Mining of Specifications for Hardware Designs.Leiqi Ye, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen
2026Model Checking Matrix Product States Against Linear Chain Logic.Ming Xu, Yihao Chen, Ji Guan
2026Sound and Precise Symbolic Automata Model for Stateful Software Systems.Xinlong Wu, Ruiyu Zhou, Peisen Yao, Qingkai Shi
2026Deadlock Verification via Ordering-Constrained Mutex Modeling.Pei Wang, Zhilei Han, Zhihang Sun, Fei He
2026QAV-FT: Quadratic Approximation-Based Neural Network Verification via Fourier Series and Taylor Truncation.Han Wang, Xuyang Ding, Ying Xie, Yakun Sheng
2026Automated Amortised Analysis of Skew Heaps and Leftist Heaps.Armin Walch, Georg Moser, Berry Schoenmakers, Florian Zuleger
2026A Practical Specification Language for Automatic Quantum Program Verification.Wei-Lun Tsai, Yu-Fang Chen, Ondrej Lengl
2026Show Me The Money: An Exercise in Proof-Driven Software Understanding.Joseph Tafese, Karthik Nukala, Hassen Sadi, Natarajan Shankar, Arie Gurfinkel, Giuliano Losa
2026Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification (Invited Talk).Maya Swisa, Guy Katz
2026Burrow: A Proof Framework for Weak Memory.Dennis Sprokholt, Soham Chakraborty
2026Caesar: A Deductive Verifier for Probabilistic Programs.Philipp Schrer, Kevin Batz, Umut Yigit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2026Mallob: Scalable Automated Reasoning on Demand.Dominik Schreiber, Niccol Rigi-Luperti, Peter Sanders
2026Spatiotemporal Robustness of Temporal Logic Tasks Using Multi-Objective Reasoning.Oliver Schn, Lars Lindemann
2026Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations.Sarah Sallinger, Lukas Graussam, Georg Weissenbacher, Florian Zuleger, Alexey Ignatiev
2026PSF: A Generic and Extensible Framework for Protocol State Fuzzing.Konstantinos Sagonas, Thanos Typaldos
2026VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification.Ann Roy, Allen Antony, Andrea Gimelli, Matthew L. Daggitt
2026A Multi-width Parametric Bitvector Equivalence Solver.Luigi Rinaldi, John Wickerson, Samuel Coward
2026The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver.Andrew Reynolds, Hans-Jrg Schurr, Haniel Barbosa, Ofec Israel, Jibiana Jakpor, Hanna Lachnitt, Abdalrhman Mohamed, Aina Niemetz, Mathias Preiner, Yoni Zohar, Robert B. Jones, Clark W. Barrett, Cesare Tinelli
2026Satisfiability Modulo Extensional Constant Arrays.Mathias Preiner, Aina Niemetz, Clark W. Barrett
2026Automating Bitvector and Finite Field Equivalence Proofs in Lean.Elizaveta Pertseva, Valentin Robert, Clark W. Barrett, James Parker
2026The TLA+ Model Checker Apalache.Rodrigo Otoni, Shon Feder, Jure Kukovec, Andrey Kupriyanov, Gabriela Moreira, Philip Offtermatt, Thomas Pani, Thanh-Hai Tran, Igor Konnov
2026Quantifying Sensitivity for Tree Ensembles: A Symbolic and Compositional Approach.Ajinkya Naik, Chaitanya Garg, S. Akshay, Ashutosh Gupta, Kuldeep S. Meel
2026Liquid Tree Automata.Ashish Mishra, Suresh Jagannathan
1–25 of 2,162← PreviousNext →

Comparable venues

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