The 2nd verified software competition: Experience report

Jean Christophe Filliâtre; Andrei Paskevich; Aaron Stump

The 2nd verified software competition: Experience report

Jean Christophe Filliâtre
, Andrei Paskevich
, Aaron Stump

INRIA Saclay, Laboratoire de Recherche en Informatique (LRI), Université Paris Sud
INRIA
University of Iowa

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

Résumé

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.

langue originale	Anglais
Pages (de - à)	36-49
Nombre de pages	14
journal	CEUR Workshop Proceedings
Volume	873
état	Publié - 1 déc. 2012
Modification externe	Oui
Evénement	1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, COMPARE 2012 - Manchester, Royaume-Uni Durée: 30 juin 2012 → 30 juin 2012

Contient cette citation

@article{709976b6f9e54d4b8de0cbf088e9d4c7,

title = "The 2nd verified software competition: Experience report",

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.",

author = "Filli{\^a}tre, \{Jean Christophe\} and Andrei Paskevich and Aaron Stump",

year = "2012",

month = dec,

day = "1",

language = "English",

volume = "873",

pages = "36--49",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

note = "1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, COMPARE 2012 ; Conference date: 30-06-2012 Through 30-06-2012",

}

TY - JOUR

T1 - The 2nd verified software competition

T2 - 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, COMPARE 2012

AU - Filliâtre, Jean Christophe

AU - Paskevich, Andrei

AU - Stump, Aaron

PY - 2012/12/1

Y1 - 2012/12/1

N2 - 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.

AB - 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.

M3 - Conference article

AN - SCOPUS:84891781474

SN - 1613-0073

VL - 873

SP - 36

EP - 49

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

Y2 - 30 June 2012 through 30 June 2012

ER -

The 2nd verified software competition: Experience report

Résumé

Empreinte digitale

Contient cette citation