Ausgabe 6/2015
VerifyThis 2012
Inhalt (8 Artikel)
VerifyThis 2012
Solving the VerifyThis 2012 challenges with VeriFast
Bart Jacobs, Jan Smans, Frank Piessens
VerifyThis 2012
KIV: overview and VerifyThis competition
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
VerifyThis 2012
SPARK 2014 and GNATprove
Duc Hoang, Yannick Moy, Angela Wallenburg, Roderick Chapman
VerifyThis 2012
Let’s verify this with Why3
François Bobot, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich
VerifyThis 2012
Implementation-level verification of algorithms with KeY
Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich
VerifyThis 2012
AutoProof meets some verification challenges
Julian Tschannen, Carlo A. Furia, Martin Nordio