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 Poiikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)

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 that can be learned from them.
Original languageEnglish
Title of host publicationFormal Verification of Object-Oriented Software
Subtitle of host publicationInternational Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
EditorsBernhard Beckert, Ferruccio Damiani, Dilian Gurov
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages3-21
Number of pages19
ISBN (Electronic)978-3-642-31762-0
ISBN (Print)978-3-642-31761-3
DOIs
Publication statusPublished - 2012
EventInternational Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011 - Turin, Italy
Duration: 5 Oct 20117 Oct 2011

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume7421
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011
Abbreviated titleFoVeOOS
CountryItaly
CityTurin
Period5/10/117/10/11

Keywords

  • Distributed systems
  • Formal methods
  • Model checking
  • Modeling languages
  • Programs

Cite this

Bormer, T., Brockschmidt, M., Distefano, D., Ernst, G., Filliâtre, J-C., Grigore, R., ... Ulbrich, M. (2012). The COST IC0701 Verification Competition 2011. In B. Beckert, F. Damiani, & D. Gurov (Eds.), Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (pp. 3-21). (Lecture Notes in Computer Science; Vol. 7421). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-31762-0_2
Bormer, Thorsten ; Brockschmidt, Marc ; Distefano, Dino ; Ernst, Gidon ; Filliâtre, Jean-Christophe ; Grigore, Radu ; Huisman, Marieke ; Klebanov, Vladimir ; Marché, Claude ; Monahan, Rosemary ; Mostowski, Wojciech ; Poiikarpova, Nadia ; Scheben, Christoph ; Schellhorn, Gerhard ; Tofan, Bogdan ; Tschannen, Julian ; Ulbrich, Mattias. / The COST IC0701 Verification Competition 2011. Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. editor / Bernhard Beckert ; Ferruccio Damiani ; Dilian Gurov. Berlin, Heidelberg : Springer, 2012. pp. 3-21 (Lecture Notes in Computer Science).
@inproceedings{6dfe0d15266042c9b942894c64428bc2,
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 that can be learned from them.",
keywords = "Distributed systems, Formal methods, Model checking, Modeling languages, Programs",
author = "Thorsten Bormer and Marc Brockschmidt and Dino Distefano and Gidon Ernst and Jean-Christophe Filli{\^a}tre and Radu Grigore and Marieke Huisman and Vladimir Klebanov and Claude March{\'e} and Rosemary Monahan and Wojciech Mostowski and Nadia Poiikarpova and Christoph Scheben and Gerhard Schellhorn and Bogdan Tofan and Julian Tschannen and Mattias Ulbrich",
year = "2012",
doi = "10.1007/978-3-642-31762-0_2",
language = "English",
isbn = "978-3-642-31761-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "3--21",
editor = "Bernhard Beckert and Ferruccio Damiani and Dilian Gurov",
booktitle = "Formal Verification of Object-Oriented Software",

}

Bormer, T, Brockschmidt, M, Distefano, D, Ernst, G, Filliâtre, J-C, Grigore, R, Huisman, M, Klebanov, V, Marché, C, Monahan, R, Mostowski, W, Poiikarpova, N, Scheben, C, Schellhorn, G, Tofan, B, Tschannen, J & Ulbrich, M 2012, The COST IC0701 Verification Competition 2011. in B Beckert, F Damiani & D Gurov (eds), Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Lecture Notes in Computer Science, vol. 7421, Springer, Berlin, Heidelberg, pp. 3-21, International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, Turin, Italy, 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; Ernst, Gidon; Filliâtre, Jean-Christophe; Grigore, Radu; Huisman, Marieke; Klebanov, Vladimir; Marché, Claude; Monahan, Rosemary; Mostowski, Wojciech; Poiikarpova, Nadia; Scheben, Christoph; Schellhorn, Gerhard; Tofan, Bogdan; Tschannen, Julian; Ulbrich, Mattias.

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. ed. / Bernhard Beckert; Ferruccio Damiani; Dilian Gurov. Berlin, Heidelberg : Springer, 2012. p. 3-21 (Lecture Notes in Computer Science; Vol. 7421).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 - Poiikarpova, Nadia

AU - Scheben, Christoph

AU - Schellhorn, Gerhard

AU - Tofan, Bogdan

AU - Tschannen, Julian

AU - Ulbrich, Mattias

PY - 2012

Y1 - 2012

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 that can be 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 that can be learned from them.

KW - Distributed systems

KW - Formal methods

KW - Model checking

KW - Modeling languages

KW - Programs

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

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

M3 - Conference contribution

SN - 978-3-642-31761-3

T3 - Lecture Notes in Computer Science

SP - 3

EP - 21

BT - Formal Verification of Object-Oriented Software

A2 - Beckert, Bernhard

A2 - Damiani, Ferruccio

A2 - Gurov, Dilian

PB - Springer

CY - Berlin, Heidelberg

ER -

Bormer T, Brockschmidt M, Distefano D, Ernst G, Filliâtre J-C, Grigore R et al. The COST IC0701 Verification Competition 2011. In Beckert B, Damiani F, Gurov D, editors, Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer. 2012. p. 3-21. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-31762-0_2