KeY at the 1st Verified Software Competition

held on 18 August 2010 at VSTTE 2010 in Edinburgh

Vladimir Klebanov, Mattias Ulbrich, and Benjamin Weiß participated with KeY in the competition. Details of the competition, including the problem descriptions, all solutions, and an experience report are available at vscomp.org.

Solutions for problems 1 and 2 (Sum&Max and Invert) were produced at the competition using KeY 1.6.

Solutions for problems 3, 4, and 5 (LinkedList, NQueens and Queue) were produced in the aftermath by Benjamin Weiß using a 1.7.x development version of KeY.