Chapter
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
Abstract
The workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) is an annual venue for researchers and practitioners working on automated analysis and verification of hybrid systems. ARCH-COMP is a friendly competition held with the ARCH event. The competition was established in 2017 and aims to explore, document, and push forward the state of the art in the field. It evaluates and compares methods and tools for automated hybrid …
Authors
Abate A; Althoff M; Bu L; Ernst G; Frehse G; Geretti L; Johnson TT; Menghi C; Mitsch S; Schupp S
Book title
TOOLympics Challenge 2023
Series
Lecture Notes in Computer Science
Volume
14550
Pagination
pp. 1-37
Publisher
Springer Nature
Publication Date
2025
DOI
10.1007/978-3-031-67695-6_1