TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions

A total of ten competitions joined TOOLympics in 2023 and were presented at the event: CHC-COMP, MCC, QComp, ARCH-COMP, RERS, SL-COMP, SV-COMP, Test-Comp, VerifyThis, and the VT-Long-Term Challenge. Six of these are represented in this proceedings volume as papers: ARCH-COMP, CHC-COMP, MCC, QComp, VerifyThis, and the VerifyThis Long-Term Challenge. Each of these papers was peer-reviewed in single-blind mode.

The papers will be of value to researchers and practitioners who employ formal methods approaches such as model checking, program analysis, probabilistic analysis, runtime verification, SAT solving, and SMT solving.