| 2023 | Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). | Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schssele, Andreas Podelski |
| 2023 | Specifying and Verifying Higher-order Rust Iterators. | Xavier Denis, Jacques-Henri Jourdan |
| 2023 | Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote. | Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal |
| 2023 | VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). | Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty |
| 2023 | New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. | Joo Cortes, Ins Lynce, Vasco Manquinho |
| 2023 | EVA: a Tool for the Compositional Verification of AUTOSAR Models. | Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau |
| 2023 | A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. | Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic |
| 2023 | Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution). | Marek Chalupa, Thomas A. Henzinger |
| 2023 | Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability. | Michal Cadilhac, Guillermo A. Prez |
| 2023 | Validating Streaming JSON Documents with Learned VPAs. | Vronique Bruyre, Guillermo A. Prez, Gatan Staquet |
| 2023 | Multiparty Session Typing in Java, Deductively. | Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans |
| 2023 | Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. | Dirk Beyer, Po-Chun Chien, Nian-Ze Lee |
| 2023 | Competition on Software Verification and Witness Validation: SV-COMP 2023. | Dirk Beyer |
| 2023 | AutoHyper: Explicit-State Model Checking for HyperLTL. | Raven Beutner, Bernd Finkbeiner |
| 2023 | Verified reductions for optimization. | Alexander Bentkamp, Ramon Fernndez Mir, Jeremy Avigad |
| 2023 | Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. | Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2023 | Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks. | Shahaf Bassan, Guy Katz |
| 2023 | LTL Reactive Synthesis with a Few Hints. | Mrudula Balachander, Emmanuel Filiot, Jean-Franois Raskin |
| 2023 | Stack-Aware Hyperproperties. | Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan |
| 2023 | Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution). | Paulna Ayaziov, Jan Strejcek |
| 2023 | Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis. | Kalmer Apinis, Vesal Vojdani |
| 2023 | Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format. | Bruno Andreotti, Hanna Lachnitt, Haniel Barbosa |
| 2023 | Computing Adequately Permissive Assumptions for Synthesis. | Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2023 | Verifying Learning-Based Robotic Navigation Systems. | Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz |
| 2023 | EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). | Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro |