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
Liste complète des métadonnées

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-00789525
Contributor : Claude Marché <>
Submitted on : Tuesday, February 19, 2013 - 10:18:13 AM
Last modification on : Tuesday, March 5, 2019 - 9:30:10 AM
Document(s) archivé(s) le : Monday, May 20, 2013 - 3:59:22 AM

File

costcomp2011.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00789525, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

522

Files downloads

341