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