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)
    8 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 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