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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

26 Citations (Scopus)

70 Downloads (Pure)

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 language	English
Title of host publication	Formal Verification of Object-Oriented Software
Subtitle of host publication	International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Editors	Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	3-21
Number of pages	19
ISBN (Electronic)	978-3-642-31762-0
ISBN (Print)	978-3-642-31761-3
DOIs	https://doi.org/10.1007/978-3-642-31762-0_2
Publication status	Published - 2012
Event	International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011 - Turin, Italy Duration: 5 Oct 2011 → 7 Oct 2011

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7421
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011
Abbreviated title	FoVeOOS
Country/Territory	Italy
City	Turin
Period	5/10/11 → 7/10/11

Keywords

Distributed systems
Formal methods
Model checking
Modeling languages
Programs

Access to Document

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

Bormer2011costAccepted author version, 373 KB

Cite this

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 (pp. 3-21). (Lecture Notes in Computer Science; Vol. 7421). Springer. 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, 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",

address = "Germany",

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

}

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 et al.
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 proceeding › Conference contribution › Academic › peer-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

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. 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). doi: 10.1007/978-3-642-31762-0_2

The COST IC0701 Verification Competition 2011

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this