The VerifyThis Collaborative Long Term Challenge

Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl. The VerifyThis Collaborative Long Term Challenge. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Volume 12345 of Lecture Notes in Computer Science, pages 246-260, Springer, 2020. [doi]