ARCH-COMP23 Category Report: Falsification Conferences

abstract

• 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.

authors

• Menghi, Claudio
• Arcaini, Paolo
• Baptista, Walstan
• Ernst, Gidon
• Fainekos, Georgios
• Formica, Federico
• Gon, Sauvik
• Khandait, Tanmay
• Kundu, Atanu
• Pedrielli, Giulia
• Peltomäki, Jarkko
• Porres, Ivan
• Ray, Rajarshi
• Waga, Masaki
• Zhang, Zhenya

status

• accepted 

publication date

• January 1, 2023

published in

• EPiC Series in Computing  Journal

presented at event

• Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)  Conference

keywords

• 49 Mathematical Sciences
• 50 Philosophy and Religious Studies
• 5003 Philosophy

Digital Object Identifier (DOI)

• 10.29007/6nqs

start page

• 151

end page

• 169

volume

• 96