| 2022 | Dartagnan: SMT-based Violation Witness Validation (Competition Contribution). | Hernn Ponce de Len, Thomas Haas, Roland Meyer |
| 2022 | Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution). | Will Leeson, Matthew B. Dwyer |
| 2022 | On-The-Fly Solving for Symbolic Parity Games. | Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse |
| 2022 | LART: Compiled Abstract Execution - (Competition Contribution). | Henrich Lauko, Petr Rockai |
| 2022 | Correlated Equilibria and Fairness in Concurrent Stochastic Games. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2022 | The Complexity of LTL Rational Synthesis. | Orna Kupferman, Noam Shenwald |
| 2022 | Inferring Interval-Valued Floating-Point Preconditions. | Jonas Krmer, Lionel Blatter, Eva Darulova, Mattias Ulbrich |
| 2022 | From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques. | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
| 2022 | Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion. | Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken |
| 2022 | Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). | Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski |
| 2022 | The Static Analyzer Infer in SV-COMP (Competition Contribution). | Matthias Kettl, Thomas Lemberger |
| 2022 | Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. | Keigo Imai, Julien Lange, Rumyana Neykova |
| 2022 | GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution). | Falk Howar, Malte Mues |
| 2022 | Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution). | Fei He, Zhihang Sun, Hongyu Fan |
| 2022 | AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution). | Jera Hensel, Constantin Mensendiek, Jrgen Giesl |
| 2022 | Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Bchi Automata Complementation. | Vojtech Havlena, Ondrej Lengl, Barbora Smahlkov |
| 2022 | Correct Probabilistic Model Checking with Floating-Point Arithmetic. | Arnd Hartmanns |
| 2022 | Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time. | Simon Guilloud, Viktor Kuncak |
| 2022 | A Probabilistic Logic for Verifying Continuous-time Markov Chains. | Ji Guan, Nengkun Yu |
| 2022 | Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems. | Andr Greiner-Petter, Howard S. Cohl, Abdou Youssef, Moritz Schubotz, Avi Trost, Rajen Dey, Akiko Aizawa, Bela Gipp |
| 2022 | Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. | David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong |
| 2022 | A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). | Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto |
| 2022 | Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution). | Marek Chalupa, Vincent Mihalkovic, Anna Rechtckov, Luks Zaoral, Jan Strejcek |
| 2022 | Better Counterexamples for Dafny. | Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta |
| 2022 | Formal Verification of the Ethereum 2.0 Beacon Chain. | Franck Cassez, Joanne Fuller, Aditya Asgaonkar |