TY - JOUR
T1 - ARCH-COMP23 Category Report
T2 - 10th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2023
AU - Geretti, Luca
AU - dit Sandretto, Julien Alexandre
AU - Althoff, Matthias
AU - Benet, Luis
AU - Collins, Pieter
AU - Forets, Marcelo
AU - Ivanova, Elena
AU - Li, Yangge
AU - Mitra, Sayan
AU - Mitsch, Stefan
AU - Schilling, Christian
AU - Wetzlinger, Mark
AU - Zhuang, Daniel
N1 - Publisher Copyright:
© 2023, EasyChair. All rights reserved.
PY - 2023
Y1 - 2023
N2 - We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2023. This year, 6 tools participated: Ariadne, CORA, DynIbex, JuliaReach, KeYmaera X and Verse (in alphabetic order). These tools are applied to solve reachability analysis problems on six benchmark problems, two of them featuring hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools.
AB - We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2023. This year, 6 tools participated: Ariadne, CORA, DynIbex, JuliaReach, KeYmaera X and Verse (in alphabetic order). These tools are applied to solve reachability analysis problems on six benchmark problems, two of them featuring hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools.
KW - continuous systems
KW - formal methods
KW - hybrid systems
KW - nonlinear dynamics
KW - reachability analysis
KW - verification
UR - http://www.scopus.com/inward/record.url?scp=85192134483&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85192134483&partnerID=8YFLogxK
U2 - 10.29007/93f2
DO - 10.29007/93f2
M3 - Conference article
AN - SCOPUS:85192134483
SN - 2398-7340
VL - 96
SP - 61
EP - 83
JO - EPiC Series in Computing
JF - EPiC Series in Computing
Y2 - 9 May 2023 through 9 May 2023
ER -