ARCH-COMP23 Category Report: Falsification
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, A. Kundu, Giulia Pedrielli, Jarkko Peltomäki, Iván Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang · EPiC series in computing · 2023
This report presents the results from the 2023 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the benchmark models selected to compare the tools and the competition settings and provide background on the participating teams and tools. Finally, we present and discuss our results.