VerifyThis 2019 -- Polished Isabelle Solutions

Peter Lammich and Simon Wimmer

16 October 2019

Abstract

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.
BSD License

Depends On

Topics

Related Entries

Theories