TY - JOUR
T1 - ARCH-COMP23 Category Report
T2 - 10th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2023
AU - Althoff, Matthias
AU - Forets, Marcelo
AU - Li, Yangge
AU - Mitra, Sayan
AU - Schilling, Christian
AU - Wetzlinger, Mark
AU - Zhuang, Daniel
N1 - Matthias Althoff gratefully acknowledge financial support by the project justITSELF funded by the European Commission under grant number 817629 and by the project TRAITS funded by the German Federal Ministry of Education and Research under grant number 01IS21087. Christian Schilling acknowledges the support from DIREC - Digital Research Centre Denmark and the Villum Investigator Grant S4OS.
PY - 2023
Y1 - 2023
N2 - We present the results of the ARCH1 2023 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its seventh edition, three tools participated to solve nine different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, Julia Reach, and Verse. This report is a snapshot of the current landscape of tools and the types of benchmarks they are particularly suited for. Due to the diversity of problems, we are not ranking tools, yet the presented results provide one of the most complete assessments of tools for the safety verification of continuous and hybrid systems with linear continuous dynamics up to this date.
AB - We present the results of the ARCH1 2023 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its seventh edition, three tools participated to solve nine different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, Julia Reach, and Verse. This report is a snapshot of the current landscape of tools and the types of benchmarks they are particularly suited for. Due to the diversity of problems, we are not ranking tools, yet the presented results provide one of the most complete assessments of tools for the safety verification of continuous and hybrid systems with linear continuous dynamics up to this date.
KW - ARCH-COMP
KW - CORA
KW - JuliaReach
KW - hybrid systems
KW - linear continuous dynamics
KW - verse
UR - http://www.scopus.com/inward/record.url?scp=85192191068&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85192191068&partnerID=8YFLogxK
U2 - 10.29007/nl86
DO - 10.29007/nl86
M3 - Conference article
AN - SCOPUS:85192191068
SN - 2398-7340
VL - 96
SP - 34
EP - 60
JO - EPiC Series in Computing
JF - EPiC Series in Computing
Y2 - 9 May 2023 through 9 May 2023
ER -