ARCH-COMP 2023 Category Report: Falsification - Validation
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Kundu, Atanu, Giulia Pedrielli, Jarkko Peltomäki, Iván Porres, Ray, Rajarshi, Masaki Waga, Zhenya Zhang · Åbo Akademi University Research Portal · 2023
ARCH-COMP 2023 is an international competition on verifying continuous and hybrid systems. This archive refers to the falsification category of this competition. It contains the traces submitted for validation and the corresponding validation results.