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

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

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.

Original language	English
Title of host publication	Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Revised Selected Papers
Pages	3-21
Number of pages	19
DOIs	https://doi.org/10.1007/978-3-642-31762-0_2
Publication status	Published - 15 Aug 2012
Externally published	Yes
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7421 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

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

Access to Document

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

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., Polikarpova, N., Scheben, C., Schellhorn, G., Tofan, B., Tschannen, J., & Ulbrich, M. (2012). The COST IC0701 verification competition 2011. In Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Revised Selected Papers (pp. 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. pp. 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. in 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, 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, 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).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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 - 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. In 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

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this