VerifyThis 2019 -- Polished Isabelle Solutions

Peter Lammich and Simon Wimmer 🌐

October 16, 2019

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

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.

License

BSD License

Topics

Session VerifyThis2019

Depends on

Cite

× 
@article{VerifyThis2019-AFP,
  author  = {Peter Lammich and Simon Wimmer},
  title   = {VerifyThis 2019 -- Polished Isabelle Solutions},
  journal = {Archive of Formal Proofs},
  month   = {October},
  year    = {2019},
  note    = {\url{https://isa-afp.org/entries/VerifyThis2019.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: