@InProceedings{TOOLympics24,
author="Ahrendt, Wolfgang
and Ernst, Gidon
and Herber, Paula
and Huisman, Marieke
and Monti, Ra{\'u}l E.
and Ulbrich, Mattias
and Weigl, Alexander",
editor="Beyer, Dirk
and Hartmanns, Arnd
and Kordon, Fabrice",
title="The VerifyThis Collaborative Long-Term Challenge Series",
booktitle="TOOLympics Challenge 2023",
year="2025",
publisher="Springer Nature Switzerland",
address="Cham",
pages="160--170",
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.",
isbn="978-3-031-67695-6"
}