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⟩
344 Consultations
345 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More