Bormer T.;Brockschmidt M.;Distefano D.;Ernst G.;Filliâtre J.;Grigore R.;Huisman M.;Klebanov V.;Marché C.;Monahan R.;Mostowski W.;Polikarpova N.;Scheben C.;Schellhorn G.;Tofan B.;Tschannen J.;Ulbrich M.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

The COST IC0701 verification competition 2011

2012

August

Published

1

()

3

21

This paper reports on the experiences with the program verification competition held during the FoVeOOS conference in October 2011. There were 6 teams participating in this competition. We discuss the three different challenges that were posed and the solutions developed by the teams. We conclude with a discussion about the value of such competitions and lessons learned from them. © 2012 Springer-Verlag Berlin Heidelberg.

10.1007/978-3-642-31762-0_2