Skip to Main content Skip to Navigation
Conference papers

The COST IC0701 Verification Competition 2011

Abstract : This paper reports on the experiences with the program veri fication competition held during the FoVeOOS conference in October 2011. There were 6 teams participating in this competition. We discuss the three di fferent 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Claude Marché Connect in order to contact the contributor
Submitted on : Tuesday, February 19, 2013 - 10:18:13 AM
Last modification on : Sunday, June 26, 2022 - 11:58:17 AM
Long-term archiving on: : Monday, May 20, 2013 - 3:59:22 AM


Files produced by the author(s)


  • HAL Id : hal-00789525, version 1



Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, et al.. The COST IC0701 Verification Competition 2011. Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2011, 2011, Torino, Italy. ⟨hal-00789525⟩



Record views


Files downloads