TOOLympics 2019: An Overview of Competitions in Formal Methods

Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    4 Citations (Scopus)
    19 Downloads (Pure)

    Abstract

    Evaluation of scientific contributions can be done in many different ways. For the various research communities working on the verification of systems (software, hardware, or the underlying involved mechanisms), it is important to bring together the community and to compare the state of the art, in order to identify progress of and new challenges in the research area. Competitions are a suitable way to do that.

    The first verification competition was created in 1992 (SAT competition), shortly followed by the CASC competition in 1996. Since the year 2000, the number of dedicated verification competitions is steadily increasing. Many of these events now happen regularly, gathering researchers that would like to understand how well their research prototypes work in practice. Scientific results have to be reproducible, and powerful computers are becoming cheaper and cheaper, thus, these competitions are becoming an important means for advancing research in verification technology.

    TOOLympics 2019 is an event to celebrate the achievements of the various competitions, and to understand their commonalities and differences. This volume is dedicated to the presentation of the 16 competitions that joined TOOLympics as part of the celebration of the 25th anniversary of the TACAS conference.
    Original languageEnglish
    Title of host publicationTools and Algorithms for the Construction and Analysis of Systems
    Subtitle of host publication25 Years of TACAS: TOOLympics, Held as Part of ETAPS, 2019. Prague, Czech Republic, April 6-11, 2019. Proceedings, Part III
    EditorsDirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
    Place of PublicationCham
    PublisherSpringer
    Pages3-24
    Number of pages22
    ISBN (Electronic)978-3-030-17502-3
    ISBN (Print)978-3-030-17461-3, 978-3-030-17501-6
    DOIs
    Publication statusPublished - 1 Jan 2019
    EventEuropean Joint Conferences on Theory and Practice of Software, ETAPS 2019 - Orea Hotel Pyramida, Prague, Czech Republic
    Duration: 6 Apr 201911 Apr 2019
    Conference number: 22

    Publication series

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

    Conference

    ConferenceEuropean Joint Conferences on Theory and Practice of Software, ETAPS 2019
    Abbreviated titleETAPS 2019
    CountryCzech Republic
    CityPrague
    Period6/04/1911/04/19

      Fingerprint

    Cite this

    Bartocci, E., Beyer, D., Black, P. E., Fedyukovich, G., Garavel, H., Hartmanns, A., ... Yamada, A. (2019). TOOLympics 2019: An Overview of Competitions in Formal Methods. In D. Beyer, M. Huisman, F. Kordon, & B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS, 2019. Prague, Czech Republic, April 6-11, 2019. Proceedings, Part III (pp. 3-24). (Lecture Notes in Computer Science; Vol. 11429). Cham: Springer. https://doi.org/10.1007/978-3-030-17502-3_1