Email Gateway (Aug 22 2022 at 20:49): Email Gateway (Aug 22 2022 at 20:49):From: Tobias Nipkow <nipkow@in.tum.de>
VerifyThis 2019 -- Polished Isabelle Solutions
Peter Lammich and Simon Wimmer
VerifyThis 2019 (http://www.pm.inf.ethz.ch/research/verifythis.html) was a
program verification competition associated with ETAPS 2019. It was the 8th
event in the VerifyThis competition series. In this entry, we present polished
and completed versions of our solutions that we created during the competition.
https://www.isa-afp.org/entries/VerifyThis2019.html
Note:
The above VerifyThis URL leads to a page about VerifyThis 2020. Via Archive
you should be able to access VerifyThis 2019, but it has gone missing. The
maintainer has been informed.
Peter and Simon actually won in the Overall Best Team category.
smime.p7s
Last updated: Apr 18 2024 at 01:05 UTC