The VerifyThis Collaborative Long-Term Challenge Series
Paper i 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
Författare
Wolfgang Ahrendt
Göteborgs universitet
Chalmers, Data- och informationsteknik, Formella metoder
Gidon Ernst
Ludwig-Maximilians-Universität München (LMU)
Paula Herber
Universität Münster
Marieke Huisman
Universiteit Twente
Raúl E. Monti
Universiteit Twente
M. Ulbrich
Karlsruher Institut für Technologie (KIT)
Alexander Weigl
Karlsruher Institut für Technologie (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,
Ämneskategorier (SSIF 2025)
Programvaruteknik
Datavetenskap (datalogi)
DOI
10.1007/978-3-031-67695-6_6