VerifyThis 2012 Marieke HuismanVladimir KlebanovRosemary Monahan Introduction 18 August 2015 Pages: 647 - 657
Solving the VerifyThis 2012 challenges with VeriFast Bart JacobsJan SmansFrank Piessens VerifyThis 2012 20 March 2014 Pages: 659 - 676
KIV: overview and VerifyThis competition Gidon ErnstJörg PfählerWolfgang Reif VerifyThis 2012 16 April 2014 Pages: 677 - 694
SPARK 2014 and GNATprove Duc HoangYannick MoyRoderick Chapman VerifyThis 2012 28 October 2014 Pages: 695 - 707
Let’s verify this with Why3 François BobotJean-Christophe FilliâtreAndrei Paskevich VerifyThis 2012 19 April 2014 Pages: 709 - 727
Implementation-level verification of algorithms with KeY Daniel BrunsWojciech MostowskiMattias Ulbrich VerifyThis 2012 17 November 2013 Pages: 729 - 744
AutoProof meets some verification challenges Julian TschannenCarlo A. FuriaMartin Nordio VerifyThis 2012 09 February 2014 Pages: 745 - 755
Witnessing the elimination of magic wands Stefan BlomMarieke Huisman VerifyThis 2012 Open access 31 March 2015 Pages: 757 - 781