TY - JOUR
T1 - ARCH-COMP26 Category Report
T2 - 13th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2026
AU - Geretti, Luca
AU - Sandretto, Julien Alexandre Dit
AU - Althoff, Matthias
AU - Benet, Luis
AU - Collins, Pieter
AU - Forets, Marcelo
AU - Mitsch, Stefan
AU - Perschl, Maximilian
AU - Schilling, Christian
AU - Tillet, Joris
AU - Wooding, Ben
N1 - Funding Information:
Matthias Althoff and Maximilian Perschl acknowledge support by the German Research Foundation (DFG) project ConVeY under grant number GRK 2428. Julien Alexandre dit Sandretto and Joris Tillet acknowledge support from CIEDS (STARTS project). Luis Benet acknowledges support from PAPIIT-UNAM project IN-112726. KeYmaera X results are based upon work supported by the National Science Foundation (NSF) under Grant No. CCF2427581. Christian Schilling acknowledges support from the Independent Research Fund Denmark under reference number 10.46540/3120-00041B and the Villum Investigator Grant S4OS under reference number 37819. Ben Wooding acknowledges support from the Defense Advanced Research Projects Agency (DARPA) under contract number FA8750-23-C-0518. Any opinions, findings, and conclusions or recommendations expressed in this paper are those of the authors and do not necessarily reflect the views of DARPA.
Publisher Copyright:
© 2026, EasyChair. All rights reserved.
PY - 2026
Y1 - 2026
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 2026. This year, 6 tools participated: Ariadne, CORA, DynIbex, JuliaReach, KeYmaera X and PRoTECT (in alphabetic order). These tools are applied to solve reachability analysis problems on seven benchmark problems, two of them featuring some aspects of 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 2026. This year, 6 tools participated: Ariadne, CORA, DynIbex, JuliaReach, KeYmaera X and PRoTECT (in alphabetic order). These tools are applied to solve reachability analysis problems on seven benchmark problems, two of them featuring some aspects of 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.
M3 - Conference article in journal
SN - 2398-7340
VL - 110
SP - 52
EP - 84
JO - EPiC Series in Computing
JF - EPiC Series in Computing
Y2 - 3 June 2026 through 3 June 2026
ER -