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.
(2023). ARCH-COMP 2023 Category Report: Falsification . Retrieved from https://hdl.handle.net/10446/262253
ARCH-COMP 2023 Category Report: Falsification
Menghi, Claudio;
2023-01-01
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.File allegato/i alla scheda:
| File | Dimensione del file | Formato | |
|---|---|---|---|
|
ARCH-COMP23_Category_Report_Falsification.pdf
Solo gestori di archivio
Versione:
publisher's version - versione editoriale
Licenza:
Licenza default Aisberg
Dimensione del file
570.91 kB
Formato
Adobe PDF
|
570.91 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo
