Conference proceeding
The 2nd Verified Software Competition: Experience Report
Vol.873, pp.36-49
CEUR Workshop Proceedings
COMPARE 2012, Comparative Empirical Evaluation of Reasoning Systems, 1st Intl. Workshop
07/31/2012
Abstract
We report on the second verified software competition. It was organized by the three authors on a 48 hours period on November 8-10, 2011. This paper describes the competition, presents the five problems that were proposed to the participants, and gives an overview of the solutions sent by the 29 teams that entered the competition.
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.
Details
- Title: Subtitle
- The 2nd Verified Software Competition: Experience Report
- Creators
- Jean-Christophe Filliâtre - Formally Verified Programs, Certified Tools and Numerical ComputationsAndrei Paskevich - Laboratoire de Recherche en InformatiqueAaron Stump - Department of Electrical and Computer Engineering [Iowa]
- Resource Type
- Conference proceeding
- Publication Details
- Vol.873, pp.36-49
- Conference
- COMPARE 2012, Comparative Empirical Evaluation of Reasoning Systems, 1st Intl. Workshop
- Publisher
- CEUR Workshop Proceedings
- Series
- CEUR Workshop Proceedings
- Language
- English
- Date published
- 07/31/2012
- Academic Unit
- Computer Science
- Record Identifier
- 9984259411402771
Metrics
13 Record Views