The COST IC0701 Verification Competition 2011 - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

The COST IC0701 Verification Competition 2011

Marieke Huisman
  • Fonction : Auteur
  • PersonId : 833478

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00789525 , version 1

Citer

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⟩
341 Consultations
339 Téléchargements

Partager

Gmail Facebook X LinkedIn More