VerifyThis 2019 -- Polished Isabelle Solutions

 

Title: VerifyThis 2019 -- Polished Isabelle Solutions
Authors: Peter Lammich and Simon Wimmer
Submission date: 2019-10-16
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.
BibTeX:
@article{VerifyThis2019-AFP,
  author  = {Peter Lammich and Simon Wimmer},
  title   = {VerifyThis 2019 -- Polished Isabelle Solutions},
  journal = {Archive of Formal Proofs},
  month   = oct,
  year    = 2019,
  note    = {\url{http://isa-afp.org/entries/VerifyThis2019.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
License: BSD License
Depends on: Refine_Imperative_HOL