This report presents the results from the falsification category of the 2024 competition in the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. The report summarizes the competition rules and settings, the benchmark models for the tool comparison, and provides background on the participating teams and tools. Finally, it presents and discusses the results of the competition.

(2024). ARCH-COMP 2024 Category Report: Falsification . Retrieved from https://hdl.handle.net/10446/293228

ARCH-COMP 2024 Category Report: Falsification

Menghi Claudio;
2024-01-01

Abstract

This report presents the results from the falsification category of the 2024 competition in the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. The report summarizes the competition rules and settings, the benchmark models for the tool comparison, and provides background on the participating teams and tools. Finally, it presents and discusses the results of the competition.
2024
Khandait, T.; Formica, F.; Arcaini, P.; Chotaliya, S.; Fainekos, G.; Hekal, A.; Kundu, A.; Lew, E.; Loreti, M.; Menghi, Claudio; Nenzi, L.; Pedrielli,...espandi
File allegato/i alla scheda:
File Dimensione del file Formato  
ARCH-COMP24_pages_122-144.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 650.87 kB
Formato Adobe PDF
650.87 kB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/293228
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact