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; COMPARE 2012, Comparative Empirical Evaluation of Reasoning Systems. <http://ceur-ws.org/Vol-873/>
Liste complète des métadonnées


https://hal.inria.fr/hal-00798777
Contributeur : Andrei Paskevich <>
Soumis le : dimanche 10 mars 2013 - 16:00:36
Dernière modification le : jeudi 9 février 2017 - 15:53:46
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; COMPARE 2012, Comparative Empirical Evaluation of Reasoning Systems. <http://ceur-ws.org/Vol-873/>. <hal-00798777>

Partager

Métriques

Consultations de
la notice

269

Téléchargements du document

278