ISSE

Search

The COST IC0701 Verification Competition 2011

Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen and Mattias Ulbrich

The COST IC0701 Verification Competition 2011

This paper reports on the experiences with the program ver- ification 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 devel- oped by the teams. We conclude with a discussion about the value of such competitions and lessons learned from them.
published 2012 In Proc. of Formal Verification of Object-Oriented Software (FoVeOOS), pp 3-21

Publisher: Springer (LNCS)

DOI: SpringerLink