The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems

Alessandro Abate; Matthias Althoff; Lei Bu; Gidon Ernst; Goran Frehse; Luca Geretti; Taylor T. Johnson; Claudio Menghi; Stefan Mitsch; Stefan Schupp; Sadegh Soudjani

doi:10.1007/978-3-031-67695-6_1

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems

Alessandro Abate
, Matthias Althoff
, Lei Bu
, Gidon Ernst
, Goran Frehse
, Luca Geretti
, Taylor T. Johnson
, Claudio Menghi
, Stefan Mitsch
, Stefan Schupp
, Sadegh Soudjani

University of Oxford
Technical University of Munich
Nanjing University
Universität München
University of Verona
Vanderbilt University
Dipartimento di Fisica
McMaster University
DePaul University
Vienna University of Technology
Max Planck Institute for Software Systems

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Résumé

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 systems analysis and verification on predefined benchmark problems. It is supported by an active community around several categories of problems, including linear and nonlinear systems, simulation-based and analytic methods, and models from many application domains, such as automotive systems or neural networks. This paper describes the format of the competition and its organization. It documents the experiences and decisions from the current and past editions of the competition and presents reflections and lessons learned. Website:https://cps-vo.org/group/ARCH/FriendlyCompetition

langue originale	Anglais
titre	TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions
rédacteurs en chef	Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
Editeur	Springer Science and Business Media Deutschland GmbH
Pages	1-37
Nombre de pages	37
ISBN (imprimé)	9783031676949
Les DOIs	https://doi.org/10.1007/978-3-031-67695-6_1
état	Publié - 1 janv. 2025
Evénement	3rd International TOOLympics Challenge, TOOLympics 2023 was part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 - Paris, France Durée: 22 avr. 2023 → 27 avr. 2023

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	14550 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	3rd International TOOLympics Challenge, TOOLympics 2023 was part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023
Pays/Territoire	France
La ville	Paris
période	22/04/23 → 27/04/23

Accès au document

10.1007/978-3-031-67695-6_1

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Abate, A., Althoff, M., Bu, L., Ernst, G., Frehse, G., Geretti, L., Johnson, T. T., Menghi, C., Mitsch, S., Schupp, S., & Soudjani, S. (2025). The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. Dans D. Beyer, A. Hartmanns, & F. Kordon (eds.), TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions (p. 1-37). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; Vol 14550 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-67695-6_1

Abate, Alessandro ; Althoff, Matthias ; Bu, Lei et al. / The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Editeur / Dirk Beyer ; Arnd Hartmanns ; Fabrice Kordon. Springer Science and Business Media Deutschland GmbH, 2025. p. 1-37 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ).

@inproceedings{436c545384a441a78ec207ff43106f77,

title = "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 systems analysis and verification on predefined benchmark problems. It is supported by an active community around several categories of problems, including linear and nonlinear systems, simulation-based and analytic methods, and models from many application domains, such as automotive systems or neural networks. This paper describes the format of the competition and its organization. It documents the experiences and decisions from the current and past editions of the competition and presents reflections and lessons learned. Website:https://cps-vo.org/group/ARCH/FriendlyCompetition",

keywords = "competition, hybrid systems, tool evaluation",

author = "Alessandro Abate and Matthias Althoff and Lei Bu and Gidon Ernst and Goran Frehse and Luca Geretti and Johnson, \{Taylor T.\} and Claudio Menghi and Stefan Mitsch and Stefan Schupp and Sadegh Soudjani",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.; 3rd International TOOLympics Challenge, TOOLympics 2023 was part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 ; Conference date: 22-04-2023 Through 27-04-2023",

year = "2025",

month = jan,

day = "1",

doi = "10.1007/978-3-031-67695-6\_1",

language = "English",

isbn = "9783031676949",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "1--37",

editor = "Dirk Beyer and Arnd Hartmanns and Fabrice Kordon",

booktitle = "TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions",

}

Abate, A, Althoff, M, Bu, L, Ernst, G, Frehse, G, Geretti, L, Johnson, TT, Menghi, C, Mitsch, S, Schupp, S & Soudjani, S 2025, The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. Dans D Beyer, A Hartmanns & F Kordon (eds), TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , VOL. 14550 LNCS, Springer Science and Business Media Deutschland GmbH, p. 1-37, 3rd International TOOLympics Challenge, TOOLympics 2023 was part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-67695-6_1

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. / Abate, Alessandro; Althoff, Matthias; Bu, Lei et al.
TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Ed. / Dirk Beyer; Arnd Hartmanns; Fabrice Kordon. Springer Science and Business Media Deutschland GmbH, 2025. p. 1-37 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; Vol 14550 LNCS).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems

AU - Abate, Alessandro

AU - Althoff, Matthias

AU - Bu, Lei

AU - Ernst, Gidon

AU - Frehse, Goran

AU - Geretti, Luca

AU - Johnson, Taylor T.

AU - Menghi, Claudio

AU - Mitsch, Stefan

AU - Schupp, Stefan

AU - Soudjani, Sadegh

N1 - Publisher Copyright: © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

PY - 2025/1/1

Y1 - 2025/1/1

N2 - 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 systems analysis and verification on predefined benchmark problems. It is supported by an active community around several categories of problems, including linear and nonlinear systems, simulation-based and analytic methods, and models from many application domains, such as automotive systems or neural networks. This paper describes the format of the competition and its organization. It documents the experiences and decisions from the current and past editions of the competition and presents reflections and lessons learned. Website:https://cps-vo.org/group/ARCH/FriendlyCompetition

AB - 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 systems analysis and verification on predefined benchmark problems. It is supported by an active community around several categories of problems, including linear and nonlinear systems, simulation-based and analytic methods, and models from many application domains, such as automotive systems or neural networks. This paper describes the format of the competition and its organization. It documents the experiences and decisions from the current and past editions of the competition and presents reflections and lessons learned. Website:https://cps-vo.org/group/ARCH/FriendlyCompetition

KW - competition

KW - hybrid systems

KW - tool evaluation

UR - https://www.scopus.com/pages/publications/85209923313

U2 - 10.1007/978-3-031-67695-6_1

DO - 10.1007/978-3-031-67695-6_1

M3 - Conference contribution

AN - SCOPUS:85209923313

SN - 9783031676949

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 37

BT - TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions

A2 - Beyer, Dirk

A2 - Hartmanns, Arnd

A2 - Kordon, Fabrice

PB - Springer Science and Business Media Deutschland GmbH

T2 - 3rd International TOOLympics Challenge, TOOLympics 2023 was part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023

Y2 - 22 April 2023 through 27 April 2023

ER -

Abate A, Althoff M, Bu L, Ernst G, Frehse G, Geretti L et al. The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. Dans Beyer D, Hartmanns A, Kordon F, rédacteurs en chef, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Springer Science and Business Media Deutschland GmbH. 2025. p. 1-37. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ). doi: 10.1007/978-3-031-67695-6_1