The VerifyThis Collaborative Long-Term Challenge Series

Wolfgang Ahrendt; Gidon Ernst; Paula Herber; Marieke Huisman; Raúl E. Monti; Mattias Ulbrich; Alexander Weigl

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

The VerifyThis Collaborative Long-Term Challenge Series

Wolfgang Ahrendt, Gidon Ernst^*, Paula Herber, Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl

^*Corresponding author for this work

Formal Methods and Tools

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

Abstract

We give a brief overview of the VerifyThis long-term challenge series. Goal of these challenges is to demonstrate practical value of formal methods, to evaluate the current tools on specifying and verifying requirements of realistic software systems, and to bring together the community for an exchange on the state-of-the-art and future directions. An emphasis is placed on encouraging collaboration between participating research groups, not just at a conceptual level but also towards integrating verification tools and approaches, e.g., sharing technical artifacts such as specifications and proofs. Website: https://verifythis.github.io/ Mailing List: [email protected]

Original language	English
Title of host publication	TOOLympics Challenge 2023
Subtitle of host publication	Updates, Results, Successes of the Formal-Methods Competitions
Editors	Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
Publisher	Springer
Pages	160-170
Number of pages	11
ISBN (Electronic)	978-3-031-67695-6
ISBN (Print)	978-3-031-67694-9
DOIs	https://doi.org/10.1007/978-3-031-67695-6_6
Publication status	Published - 2025
Event	3rd International TOOLympics Challenge, TOOLympics 2023 - Paris, France Duration: 22 Apr 2023 → 27 Apr 2023 Conference number: 3

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	14550 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International TOOLympics Challenge, TOOLympics 2023
Abbreviated title	TOOLympics 2023
Country/Territory	France
City	Paris
Period	22/04/23 → 27/04/23
Other	Part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023

Keywords

2025 OA procedure
Specification
Verification
Software Systems

Access to Document

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

ArticleFinal published version, 396 KBLicence: Taverne

Cite this

Ahrendt, W., Ernst, G., Herber, P., Huisman, M., Monti, R. E., Ulbrich, M., & Weigl, A. (2025). The VerifyThis Collaborative Long-Term Challenge Series. In D. Beyer, A. Hartmanns, & F. Kordon (Eds.), TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions (pp. 160-170). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14550 LNCS). Springer. https://doi.org/10.1007/978-3-031-67695-6_6

Ahrendt, Wolfgang ; Ernst, Gidon ; Herber, Paula et al. / The VerifyThis Collaborative Long-Term Challenge Series. TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions. editor / Dirk Beyer ; Arnd Hartmanns ; Fabrice Kordon. Springer, 2025. pp. 160-170 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{96eeb2d6f1474b959c3dbb897e3bc599,

title = "The VerifyThis Collaborative Long-Term Challenge Series",

abstract = "We give a brief overview of the VerifyThis long-term challenge series. Goal of these challenges is to demonstrate practical value of formal methods, to evaluate the current tools on specifying and verifying requirements of realistic software systems, and to bring together the community for an exchange on the state-of-the-art and future directions. An emphasis is placed on encouraging collaboration between participating research groups, not just at a conceptual level but also towards integrating verification tools and approaches, e.g., sharing technical artifacts such as specifications and proofs. Website: https://verifythis.github.io/ Mailing List: [email protected]",

keywords = "2025 OA procedure, Specification, Verification, Software Systems",

author = "Wolfgang Ahrendt and Gidon Ernst and Paula Herber and Marieke Huisman and Monti, {Ra{\'u}l E.} and Mattias Ulbrich and Alexander Weigl",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.; 3rd International TOOLympics Challenge, TOOLympics 2023, TOOLympics 2023 ; Conference date: 22-04-2023 Through 27-04-2023",

year = "2025",

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

language = "English",

isbn = "978-3-031-67694-9",

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

publisher = "Springer",

pages = "160--170",

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

booktitle = "TOOLympics Challenge 2023",

address = "Germany",

}

Ahrendt, W, Ernst, G, Herber, P, Huisman, M, Monti, RE, Ulbrich, M & Weigl, A 2025, The VerifyThis Collaborative Long-Term Challenge Series. in 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, pp. 160-170, 3rd International TOOLympics Challenge, TOOLympics 2023, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-67695-6_6

The VerifyThis Collaborative Long-Term Challenge Series. / Ahrendt, Wolfgang; Ernst, Gidon; Herber, Paula et al.
TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions. ed. / Dirk Beyer; Arnd Hartmanns; Fabrice Kordon. Springer, 2025. p. 160-170 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14550 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - The VerifyThis Collaborative Long-Term Challenge Series

AU - Ahrendt, Wolfgang

AU - Ernst, Gidon

AU - Herber, Paula

AU - Huisman, Marieke

AU - Monti, Raúl E.

AU - Ulbrich, Mattias

AU - Weigl, Alexander

N1 - Conference code: 3

PY - 2025

Y1 - 2025

N2 - We give a brief overview of the VerifyThis long-term challenge series. Goal of these challenges is to demonstrate practical value of formal methods, to evaluate the current tools on specifying and verifying requirements of realistic software systems, and to bring together the community for an exchange on the state-of-the-art and future directions. An emphasis is placed on encouraging collaboration between participating research groups, not just at a conceptual level but also towards integrating verification tools and approaches, e.g., sharing technical artifacts such as specifications and proofs. Website: https://verifythis.github.io/ Mailing List: [email protected]

AB - We give a brief overview of the VerifyThis long-term challenge series. Goal of these challenges is to demonstrate practical value of formal methods, to evaluate the current tools on specifying and verifying requirements of realistic software systems, and to bring together the community for an exchange on the state-of-the-art and future directions. An emphasis is placed on encouraging collaboration between participating research groups, not just at a conceptual level but also towards integrating verification tools and approaches, e.g., sharing technical artifacts such as specifications and proofs. Website: https://verifythis.github.io/ Mailing List: [email protected]

KW - 2025 OA procedure

KW - Specification

KW - Verification

KW - Software Systems

UR - http://www.scopus.com/inward/record.url?scp=85209909055&partnerID=8YFLogxK

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

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

M3 - Conference contribution

AN - SCOPUS:85209909055

SN - 978-3-031-67694-9

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

SP - 160

EP - 170

BT - TOOLympics Challenge 2023

A2 - Beyer, Dirk

A2 - Hartmanns, Arnd

A2 - Kordon, Fabrice

PB - Springer

T2 - 3rd International TOOLympics Challenge, TOOLympics 2023

Y2 - 22 April 2023 through 27 April 2023

ER -

Ahrendt W, Ernst G, Herber P, Huisman M, Monti RE, Ulbrich M et al. The VerifyThis Collaborative Long-Term Challenge Series. In Beyer D, Hartmanns A, Kordon F, editors, TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions. Springer. 2025. p. 160-170. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2024 Nov 1. doi: 10.1007/978-3-031-67695-6_6

The VerifyThis Collaborative Long-Term Challenge Series

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this