The COST IC0701 Verification Competition 2011 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

The COST IC0701 Verification Competition 2011

Marieke Huisman
  • Function : Author
  • PersonId : 833478


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.
Fichier principal
Vignette du fichier
costcomp2011.pdf (290.07 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00789525 , version 1 (19-02-2013)


  • 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⟩
342 View
339 Download


Gmail Facebook X LinkedIn More