VerifyThis 2018 - Polished Isabelle Solutions

Peter Lammich and Simon Wimmer

27 April 2018

Abstract

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

Depends On

Topics

Related Entries

Theories