| 2021 | Quasipolynomial Computation of Nested Fixpoints. | Daniel Hausmann, Lutz Schrder |
| 2021 | Software Verification: 10th Comparative Evaluation (SV-COMP 2021). | Dirk Beyer |
| 2020 | Verified Certification of Reachability Checking for Timed Automata. | Simon Wimmer, Joshua von Mutius |
| 2020 | A Study of Symmetry Breaking Predicates and Model Counting. | Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid |
| 2020 | COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). | Willem Visser, Jaco Geldenhuys |
| 2020 | Highly Automated Formal Proofs over Memory Usage of Assembly Code. | Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran |
| 2020 | Interpretation-Based Violation Witness Validation for C: NITWIT. | Jan Svejda, Philipp Berger, Joost-Pieter Katoen |
| 2020 | Multi-agent Safety Verification Using Symmetry Transformations. | Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra |
| 2020 | Java Ranger at SV-COMP 2020 (Competition Contribution). | Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser |
| 2020 | Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). | Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto |
| 2020 | GACAL: Conjecture-Based Verification - (Competition Contribution). | Benjamin Quiring, Panagiotis Manolios |
| 2020 | Verifying Quantum Communication Protocols with Ground Bisimulation. | Xudong Qin, Yuxin Deng, Wenjie Du |
| 2020 | PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). | Petr Peringer, Veronika Sokov, Toms Vojnar |
| 2020 | Practical Machine-Checked Formalization of Change Impact Analysis. | Karl Palmskog, Ahmet elik, Milos Gligoric |
| 2020 | Automated Verification of Parallel Nested DFS. | Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol |
| 2020 | Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. | Takamasa Okudono, Andy King |
| 2020 | Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. | Thomas Neele, Tim A. C. Willemse, Wieger Wesselink |
| 2020 | JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). | Malte Mues, Falk Howar |
| 2020 | What's Decidable About Program Verification Modulo Axioms? | Umang Mathur, P. Madhusudan, Mahesh Viswanathan |
| 2020 | Partial Order Reduction for Deep Bug Finding in Synchronous Hardware. | Makai Mann, Clark W. Barrett |
| 2020 | 2LS: Heap Analysis and Memory Safety - (Competition Contribution). | Viktor Malk, Peter Schrammel, Toms Vojnar |
| 2020 | Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting. | Alexander Lochmann, Aart Middeldorp |
| 2020 | Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution). | Hernn Ponce de Len, Florian Furbach, Keijo Heljanko, Roland Meyer |
| 2020 | Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. | Frdric Lang, Radu Mateescu, Franco Mazzanti |
| 2020 | Relational Differential Dynamic Logic. | Juraj Kolck, Jrmy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada |