| 2024 | Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. | Zsfia dm, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg |
| 2024 | Verification under TSO with an infinite Data Domain. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg |
| 2023 | FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. | Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu |
| 2023 | Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration. | Tobias Winkler, Joost-Pieter Katoen |
| 2023 | A GPU Tree Database for Many-Core Explicit State Space Exploration. | Anton Wijs, Muhammad Osama |
| 2023 | Verification-guided Programmatic Controller Synthesis. | Yuning Wang, He Zhu |
| 2023 | Extending a High-Performance Prover to Higher-Order Logic. | Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz |
| 2023 | Robust Almost-Sure Reachability in Multi-Environment MDPs. | Marck van der Vegt, Nils Jansen, Sebastian Junges |
| 2023 | PyLTA: A Verification Tool for Parameterized Distributed Algorithms. | Bastien Thomas, Ocan Sankur |
| 2023 | PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution). | Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian, Zhenhua Duan |
| 2023 | The Packing Chromatic Number of the Infinite Square Grid is 15. | Bernardo Subercaseaux, Marijn J. H. Heule |
| 2023 | Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm. | Yahui Song, Wei-Ngan Chin |
| 2023 | Timed Automata Verification and Synthesis via Finite Automata Learning. | Ocan Sankur |
| 2023 | Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution). | Simmo Saan, Michael Schwarz, Julian Erhard, Manuel Pietsch, Helmut Seidl, Sarah Tilscher, Vesal Vojdani |
| 2023 | Propositional Proof Skeletons. | Joseph E. Reeves, Benjamin Kiesl-Reiter, Marijn J. H. Heule |
| 2023 | A Formal CHERI-C Semantics for Verification. | Seung Hoon Park, Rekha R. Pai, Tom Melham |
| 2023 | Symbolic Model Checking for TLA+ Made Faster. | Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina |
| 2023 | The WhyRel Prototype for Modular Relational Verification of Pointer Programs. | Ramana Nagasamudram, Anindya Banerjee, David A. Naumann |
| 2023 | Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2023 | Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers. | Dawn Michaelson, Dominik Schreiber, Marijn J. H. Heule, Benjamin Kiesl-Reiter, Michael W. Whalen |
| 2023 | Make Flows Small Again: Revisiting the Flow Framework. | Roland Meyer, Thomas Wies, Sebastian Wolff |
| 2023 | VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). | Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla |
| 2023 | Correct Approximation of Stationary Distributions. | Tobias Meggendorfer |
| 2023 | Reconciling Preemption Bounding with DPOR. | Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis |
| 2023 | 2LS: Arrays and Loop Unwinding - (Competition Contribution). | Viktor Malk, Frantisek Necas, Peter Schrammel, Toms Vojnar |