speclang

Online Discussion June 23, 12:00 UTC 14:00 UHR UTC June 23, 14:00 CEST -16:00 UHR CEST June 23, 08:00 EDT 10:00 UHR EDT 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. [Read More]

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. [Read More]