The 2nd Verified Software Competition: Experience Report

Jean-Christophe Filliâtre 1 Andrei Paskevich 2, 1 Aaron Stump 3
1 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Résumé : Nous présentons un compte-rendu sur la deuxième compétition de vérification de logiciel. Elle a été organisée par les trois auteurs sur une période de 48 heures le 8-10 novembre 2011. Ce papier décrit la compétition, présente les cinq problèmes qui ont été proposés aux participants et fait un revue des solutions soumises par les 29 équipes qui sont entrées dans la compétition.
Type de document :
Communication dans un congrès
Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe. COMPARE 2012, Comparative Empirical Evaluation of Reasoning Systems, 1st Intl. Workshop, Jun 2012, Manchester, United Kingdom. CEUR Workshop Proceedings, 873, pp.36-49, 2012, CEUR Workshop Proceedings. 〈http://ceur-ws.org/Vol-873/〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00798777
Contributeur : Andrei Paskevich <>
Soumis le : dimanche 10 mars 2013 - 16:00:36
Dernière modification le : vendredi 10 novembre 2017 - 14:52:02
Document(s) archivé(s) le : dimanche 2 avril 2017 - 10:51:29

Fichier

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

Identifiants

  • HAL Id : hal-00798777, version 1

Citation

Jean-Christophe Filliâtre, Andrei Paskevich, Aaron Stump. The 2nd Verified Software Competition: Experience Report. Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe. COMPARE 2012, Comparative Empirical Evaluation of Reasoning Systems, 1st Intl. Workshop, Jun 2012, Manchester, United Kingdom. CEUR Workshop Proceedings, 873, pp.36-49, 2012, CEUR Workshop Proceedings. 〈http://ceur-ws.org/Vol-873/〉. 〈hal-00798777〉

Partager

Métriques

Consultations de la notice

306

Téléchargements de fichiers

292