1. VerifyThis 2012

   • Marieke Huisman
   • Vladimir Klebanov
   • Rosemary Monahan

   Introduction 18 August 2015 Pages: 647 - 657

   

2. Solving the VerifyThis 2012 challenges with VeriFast

   • Bart Jacobs
   • Jan Smans
   • Frank Piessens

   VerifyThis 2012 20 March 2014 Pages: 659 - 676

   

3. KIV: overview and VerifyThis competition

   • Gidon Ernst
   • Jörg Pfähler
   • Wolfgang Reif

   VerifyThis 2012 16 April 2014 Pages: 677 - 694

   

4. SPARK 2014 and GNATprove

   • Duc Hoang
   • Yannick Moy
   • Roderick Chapman

   VerifyThis 2012 28 October 2014 Pages: 695 - 707

   

5. Let’s verify this with Why3

   • François Bobot
   • Jean-Christophe Filliâtre
   • Andrei Paskevich

   VerifyThis 2012 19 April 2014 Pages: 709 - 727

   

6. Implementation-level verification of algorithms with KeY

   • Daniel Bruns
   • Wojciech Mostowski
   • Mattias Ulbrich

   VerifyThis 2012 17 November 2013 Pages: 729 - 744

   

7. AutoProof meets some verification challenges

   • Julian Tschannen
   • Carlo A. Furia
   • Martin Nordio

   VerifyThis 2012 09 February 2014 Pages: 745 - 755

   

8. Witnessing the elimination of magic wands

   • Stefan Blom
   • Marieke Huisman

   VerifyThis 2012 Open access 31 March 2015 Pages: 757 - 781