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
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 |
|---|---|---|
| 2025 | Counter Example Guided Reactive Synthesis for LTL Modulo Theories | Andoni Rodrguez, Felipe Gorostiaga, Csar Snchez |
| 2025 | Lean-Auto: An Interface Between Lean 4 and Automated Theorem Provers. | Yicheng Qian, Joshua Clune, Clark W. Barrett, Jeremy Avigad |
| 2025 | A Misconception-Driven Adaptive Tutor for Linear Temporal Logic. | Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi |
| 2025 | POPACheck: A Model Checker for Probabilistic Pushdown Automata. | Francesco Pontiggia, Ezio Bartocci, Michele Chiari |
| 2025 | Veil: A Framework for Automated and Interactive Verification of Transition Systems. | George Prlea, Vladimir Gladshtein, Elad Kinsbruner, Qiyuan Zhao, Ilya Sergey |
| 2025 | Integer Reasoning Modulo Different Constants in SMT. | Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett |
| 2025 | On the Almost-Sure Termination of Probabilistic Counter Programs. | Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin |
| 2025 | lean-smt: An SMT Tactic for Discharging Proof Goals in Lean. | Abdalrhman Mohamed, Tomaz Mascarenhas, Harun Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, Clark W. Barrett |
| 2025 | Relational Hoare Logic for Realistically Modelled Machine Code. | Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu |
| 2025 | QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols. | Yun-Rong Luo, Aman Goel, Karem A. Sakallah |
| 2025 | Property Directed Reachability with Extended Resolution. | Andrew Luka, Yakir Vizel |
| 2025 | Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking. | Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Arie Gurfinkel, Vijay Ganesh |
| 2025 | Polyregular Model Checking. | Aliaume Lopez, Rafal Stefanski |
| 2025 | Sprout: A Verifier for Symbolic Multiparty Protocols. | Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey |
| 2025 | Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata. | Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang |
| 2025 | PyEuclid: A Versatile Formal Plane Geometry System in Python. | Zhaoyu Li, Hangrui Bi, Jialiang Sun, Zenan Li, Kaiyu Yang, Xujie Si |
| 2025 | Panini: An Efficient and Flexible Knowledge Compiler. | Yong Lai, Kuldeep S. Meel, Roland H. C. Yap |
| 2025 | Space Explanations of Neural Network Classification. | Faezeh Labbaf, Toms Kolrik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina |
| 2025 | A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs. | Bram Kohlen, Maximilian Schffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich |
| 2025 | StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. | Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga |
| 2025 | sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses. | Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer, Daniel Stan |
| 2025 | Floating-Point Neural Networks are Provably Robust Universal Approximators. | Geonho Hwang, Wonyeol Lee, Yeachan Park, Sejun Park, Feras Saad |
| 2025 | Scaling Up Proactive Enforcement. | Franois Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2025 | Automata Learning from Preference and Equivalence Queries. | Eric Hsiung, Joydeep Biswas, Swarat Chaudhuri |
| 2025 | Charon: An Analysis Framework for Rust. | Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko |
101–125 of 2,162← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems