| 2025 | Improvements in Software Verification and Witness Validation: SV-COMP 2025. | Dirk Beyer, Jan Strejcek |
| 2025 | CPAchecker 4.0 as Witness Validator - (Competition Contribution). | Dirk Beyer, Marian Lingsch Rosenfeld |
| 2025 | Stream-Based Monitoring of Algorithmic Fairness. | Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil |
| 2025 | Equivalence Checking of a libm Port. | Mark Baranowski, Zvonimir Rakamaric, Ganesh Gopalakrishnan |
| 2025 | On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study). | Levente Bajczi, Csand Telbisz, Dniel Szekeres, Andrs Vrs |
| 2025 | SV-COMP'25 Reproduction Report (Competition Contribution). | Levente Bajczi, Zsfia dm, Zoltn Micskei |
| 2025 | Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4. | Leni Aniva, Chuyue Sun, Brando Miranda, Clark W. Barrett, Sanmi Koyejo |
| 2024 | A Comprehensive Specification and Verification of the L4 Microkernel API. | Leping Zhang, Yongwang Zhao, Jianxin Li |
| 2024 | Provable Preimage Under-Approximation for Neural Networks. | Xiyue Zhang, Benjie Wang, Marta Kwiatkowska |
| 2024 | Training for Verification: Increasing Neuron Stability to Scale DNN Verification. | Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer |
| 2024 | Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. | Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider |
| 2024 | Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. | Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges |
| 2024 | AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution). | Zhen Wang, Zhenbang Chen |
| 2024 | VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification. | Mertcan Temel |
| 2024 | Formally verified asymptotic consensus in robust networks. | Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou |
| 2024 | Accelerated Bounded Model Checking Using Interpolation Based Summaries. | Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy |
| 2024 | Decidable Verification under Localized Release-Acquire Concurrency. | Abhishek Kr Singh, Ori Lahav |
| 2024 | Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). | Frank Schssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski |
| 2024 | Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution). | Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl |
| 2024 | Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution). | Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl |
| 2024 | A Logical Treatment of Finite Automata. | Nishant Rodrigues, Mircea Sebe, Xiaohong Chen, Grigore Rosu |
| 2024 | Weakest Precondition Inference for Non-Deterministic Linear Array Programs. | Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich |
| 2024 | Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking. | Muhammad Osama, Anton Wijs |
| 2024 | Most General Winning Secure Equilibria Synthesis in Graph Games. | Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2024 | Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). | Raphal Monat, Marco Milanese, Francesco Parolini, Jrme Boillot, Abdelraouf Ouadjaout, Antoine Min |