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.
Type de document :
Communication dans un congrès
Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2011, 2011, Torino, Italy. Springer, 7421, 2012, Lecture Notes in Computer Science
Liste complète des métadonnées


https://hal.inria.fr/hal-00789525
Contributeur : Claude Marché <>
Soumis le : mardi 19 février 2013 - 10:18:13
Dernière modification le : jeudi 9 février 2017 - 16:00:06
Document(s) archivé(s) le : lundi 20 mai 2013 - 03:59:22

Fichier

costcomp2011.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00789525, version 1

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. Springer, 7421, 2012, Lecture Notes in Computer Science. <hal-00789525>

Partager

Métriques

Consultations de
la notice

247

Téléchargements du document

225