Specification Languages
27th November 2020, 10:00 UTC Information for participating are below. The VerifyThis Collaborative Large Scale Challenge aims at proving that deductive program verification can produce relevant results for real systems with acceptable effort. We selected HAGRID, a recently developed PGP-keyserver, for the challenge. Its development became necessary as the old keyserver had serious data protection and security issues. In April four approaches to the verification challenge have been submitted to and presented during an online workshop.