| 2025 | Formally Verifying a Transformation from MLTL Formulas to Regular Expressions. | Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier |
| 2025 | Revisiting Differential Verification: Equivalence Verification with Confidence. | Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert |
| 2025 | Theta: Various Approaches for Concurrent Program Verification (Competition Contribution). | Csand Telbisz, Levente Bajczi, Dniel Szekeres, Andrs Vrs |
| 2025 | Efficient Evidence Generation for Modal μ-Calculus Model Checking. | Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse |
| 2025 | Neural Network Verification with Branch-and-Bound for General Nonlinearities. | Zhouxing Shi, Qirui Jin, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang |
| 2025 | Automated Analysis of Logically Constrained Rewrite Systems using crest. | Jonas Schpf, Aart Middeldorp |
| 2025 | Certifiably Robust Policies for Uncertain Parametric Environments. | Yannik Schnitzer, Alessandro Abate, David Parker |
| 2025 | D-Painless: A Framework for Distributed Portfolio SAT Solving. | Mazigh Saoudi, Souheib Baarir, Julien Sopena, Thibault Lejemble |
| 2025 | Unsatisfiability Proofs for Horn Solving. | Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina |
| 2025 | Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs. | Muhammad Osama, Dimitrios Thanos, Alfons Laarman |
| 2025 | PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution). | Diganta Mukhopadhyay, Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar |
| 2025 | EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution). | Miln Mondok, Levente Bajczi, Dniel Szekeres, Vince Molnr |
| 2025 | Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution). | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2025 | SVF-SVC: Software Verification Using SVF (Competition Contribution). | Cameron McGowan, Matthew Richards, Yulei Sui |
| 2025 | Learning Real-Time One-Counter Automata Using Polynomially Many Queries. | Prince Mathew, Vincent Penelle, A. V. Sreejith |
| 2025 | Implicit Rankings for Verifying Liveness Properties in First-Order Logic. | Raz Lotan, Sharon Shoham |
| 2025 | AProVE(KoAT+LoAT) - (Competition Contribution). | Nils Lommen, Jrgen Giesl |
| 2025 | AISE v2.0: Combining Loop Transformations - (Competition Contribution). | Yao Lin, Zhenbang Chen, Ji Wang |
| 2025 | Inferring Incorrectness Specifications for Object-Oriented Programs. | Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin |
| 2025 | Nacpa: Native Checking with Parallel-Portfolio Analyses - (Competition Contribution). | Thomas Lemberger, Henrik Wachowitz |
| 2025 | Synthesis with Guided Environments. | Orna Kupferman, Ofer Leshkowitz |
| 2025 | SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning. | Jan Kretnsk, Tobias Meggendorfer, Maximilian Prokop, Ashkan Zarkhah |
| 2025 | Augmenting Model-Based Instantiation with Fast Enumeration. | Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette |
| 2025 | Revisiting DRUP-Based Interpolants with CaDiCaL 2.0. | Basel Khouri, Yakir Vizel |
| 2025 | Extracting Linear Relations from Grbner Bases for Formal Verification of And-Inverter Graphs. | Daniela Kaufmann, Jrmy Berthomieu |