Solutions

The participants used a wide variety of verification tools, namely Bedrock2, Coq, Creusot, Dafny, Gobra, KeY, Isabelle, SecC, VerCors, VeriFast, Viper, and Why3.

We will publish some of the solutions here once they have been polished. Solutions of previous competitions are available in the archive.