The VerifyThis Collaborative Long-Term Challenge Series
Paper in proceeding, 2025
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: verifythis-ltc@lists.kit.edu
Software Systems
Specification
Verification
Author
Wolfgang Ahrendt
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Gidon Ernst
Ludwig Maximilian University of Munich (LMU)
Paula Herber
University of Münster
Marieke Huisman
University of Twente
Raúl E. Monti
University of Twente
M. Ulbrich
Karlsruhe Institute of Technology (KIT)
Alexander Weigl
Karlsruhe Institute of Technology (KIT)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 14550 LNCS 160-1709783031676949 (ISBN)
3rd International TOOLympics Challenge, TOOLympics 2023 was part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023
Paris, France,
Paris, France,
Subject Categories (SSIF 2025)
Software Engineering
Computer Sciences
DOI
10.1007/978-3-031-67695-6_6