The COST IC0701 verification competition 2011

Thorsten Bormer; Marc Brockschmidt; Dino Distefano; Gidon Ernst; Jean Christophe Filliâtre; Radu Grigore; Marieke Huisman; Vladimir Klebanov; Claude Marché; Rosemary Monahan; Wojciech Mostowski; Nadia Polikarpova; Christoph Scheben; Gerhard Schellhorn; Bogdan Tofan; Julian Tschannen; Mattias Ulbrich

doi:10.1007/978-3-642-31762-0_2

The COST IC0701 verification competition 2011

Thorsten Bormer
, Marc Brockschmidt
, Dino Distefano
, Gidon Ernst
, Jean Christophe Filliâtre
, Radu Grigore
, Marieke Huisman
, Vladimir Klebanov
, Claude Marché
, Rosemary Monahan
, Wojciech Mostowski
, Nadia Polikarpova
, Christoph Scheben
, Gerhard Schellhorn
, Bogdan Tofan
, Julian Tschannen
, Mattias Ulbrich

Institute of Meteorology and Climate Research
RWTH Aachen University
Queen Mary University of London
Monoidics Ltd
University of Augsburg
LRI
INRIA
University of Twente
Maynooth University
ETH Zurich

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Résumé

This paper reports on the experiences with the program verification competition held during the FoVeOOS conference in October 2011. There were 6 teams participating in this competition. We discuss the three different 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.

langue originale	Anglais
titre	Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Revised Selected Papers
Pages	3-21
Nombre de pages	19
Les DOIs	https://doi.org/10.1007/978-3-642-31762-0_2
état	Publié - 15 août 2012
Modification externe	Oui
Evénement	International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011 - Turin, Italie Durée: 5 oct. 2011 → 7 oct. 2011

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7421 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011
Pays/Territoire	Italie
La ville	Turin
période	5/10/11 → 7/10/11

Accès au document

10.1007/978-3-642-31762-0_2

Contient cette citation

Bormer, T., Brockschmidt, M., Distefano, D., Ernst, G., Filliâtre, J. C., Grigore, R., Huisman, M., Klebanov, V., Marché, C., Monahan, R., Mostowski, W., Polikarpova, N., Scheben, C., Schellhorn, G., Tofan, B., Tschannen, J., & Ulbrich, M. (2012). The COST IC0701 verification competition 2011. Dans Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Revised Selected Papers (p. 3-21). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7421 LNCS). https://doi.org/10.1007/978-3-642-31762-0_2

Bormer, Thorsten ; Brockschmidt, Marc ; Distefano, Dino et al. / The COST IC0701 verification competition 2011. Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Revised Selected Papers. 2012. p. 3-21 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7c81cc1004ca42548ed739c73354d422,

title = "The COST IC0701 verification competition 2011",

abstract = "This paper reports on the experiences with the program verification competition held during the FoVeOOS conference in October 2011. There were 6 teams participating in this competition. We discuss the three different 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.",

author = "Thorsten Bormer and Marc Brockschmidt and Dino Distefano and Gidon Ernst and Filli{\^a}tre, \{Jean Christophe\} and Radu Grigore and Marieke Huisman and Vladimir Klebanov and Claude March{\'e} and Rosemary Monahan and Wojciech Mostowski and Nadia Polikarpova and Christoph Scheben and Gerhard Schellhorn and Bogdan Tofan and Julian Tschannen and Mattias Ulbrich",

year = "2012",

month = aug,

day = "15",

doi = "10.1007/978-3-642-31762-0\_2",

language = "English",

isbn = "9783642317613",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "3--21",

booktitle = "Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Revised Selected Papers",

note = "International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011 ; Conference date: 05-10-2011 Through 07-10-2011",

}

Bormer, T, Brockschmidt, M, Distefano, D, Ernst, G, Filliâtre, JC, Grigore, R, Huisman, M, Klebanov, V, Marché, C, Monahan, R, Mostowski, W, Polikarpova, N, Scheben, C, Schellhorn, G, Tofan, B, Tschannen, J & Ulbrich, M 2012, The COST IC0701 verification competition 2011. Dans Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 7421 LNCS, p. 3-21, International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, Turin, Italie, 5/10/11. https://doi.org/10.1007/978-3-642-31762-0_2

The COST IC0701 verification competition 2011. / Bormer, Thorsten; Brockschmidt, Marc; Distefano, Dino et al.
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Revised Selected Papers. 2012. p. 3-21 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7421 LNCS).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - The COST IC0701 verification competition 2011

AU - Bormer, Thorsten

AU - Brockschmidt, Marc

AU - Distefano, Dino

AU - Ernst, Gidon

AU - Filliâtre, Jean Christophe

AU - Grigore, Radu

AU - Huisman, Marieke

AU - Klebanov, Vladimir

AU - Marché, Claude

AU - Monahan, Rosemary

AU - Mostowski, Wojciech

AU - Polikarpova, Nadia

AU - Scheben, Christoph

AU - Schellhorn, Gerhard

AU - Tofan, Bogdan

AU - Tschannen, Julian

AU - Ulbrich, Mattias

PY - 2012/8/15

Y1 - 2012/8/15

N2 - This paper reports on the experiences with the program verification competition held during the FoVeOOS conference in October 2011. There were 6 teams participating in this competition. We discuss the three different 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.

AB - This paper reports on the experiences with the program verification competition held during the FoVeOOS conference in October 2011. There were 6 teams participating in this competition. We discuss the three different 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.

U2 - 10.1007/978-3-642-31762-0_2

DO - 10.1007/978-3-642-31762-0_2

M3 - Conference contribution

AN - SCOPUS:84864849260

SN - 9783642317613

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 21

BT - Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Revised Selected Papers

T2 - International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011

Y2 - 5 October 2011 through 7 October 2011

ER -

Bormer T, Brockschmidt M, Distefano D, Ernst G, Filliâtre JC, Grigore R et al. The COST IC0701 verification competition 2011. Dans Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Revised Selected Papers. 2012. p. 3-21. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-31762-0_2

The COST IC0701 verification competition 2011

Résumé

Série de publications

Une conférence

Accès au document

Empreinte digitale

Contient cette citation