Email Gateway (Aug 22 2022 at 17:11): Email Gateway (Aug 22 2022 at 17:11):From: Lawrence Paulson <lp15@cam.ac.uk>
By Peter Lammich and Simon Wimmer.
"VerifyThis 2018 was a program verification competition associated with ETAPS 2018. It was the 7th 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/VerifyThis2018.html
Many thanks for this contribution!
Larry Paulson
Last updated: Apr 25 2024 at 12:23 UTC