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

doi:10.1007/978-3-030-17502-3_1

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 proceeding › Conference contribution › Academic

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 language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication	25 Years of TACAS: TOOLympics, Held as Part of ETAPS, 2019. Prague, Czech Republic, April 6-11, 2019. Proceedings, Part III
Editors	Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Place of Publication	Cham
Publisher	Springer
Pages	3-24
Number of pages	22
ISBN (Electronic)	978-3-030-17502-3
ISBN (Print)	978-3-030-17461-3, 978-3-030-17501-6
DOIs	https://doi.org/10.1007/978-3-030-17502-3_1
Publication status	Published - 1 Jan 2019
Event	European Joint Conferences on Theory and Practice of Software, ETAPS 2019 - Orea Hotel Pyramida, Prague, Czech Republic Duration: 6 Apr 2019 → 11 Apr 2019 Conference number: 22

Publication series

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

Conference

Conference	European Joint Conferences on Theory and Practice of Software, ETAPS 2019
Abbreviated title	ETAPS 2019
Country	Czech Republic
City	Prague
Period	6/04/19 → 11/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

Bartocci, Ezio ; Beyer, Dirk ; Black, Paul E. ; Fedyukovich, Grigory ; Garavel, Hubert ; Hartmanns, Arnd ; Huisman, Marieke ; Kordon, Fabrice ; Nagele, Julian ; Sighireanu, Mihaela ; Steffen, Bernhard ; Suda, Martin ; Sutcliffe, Geoff ; Weber, Tjark ; Yamada, Akihisa. / TOOLympics 2019 : An Overview of Competitions in Formal Methods. 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. editor / Dirk Beyer ; Marieke Huisman ; Fabrice Kordon ; Bernhard Steffen. Cham : Springer, 2019. pp. 3-24 (Lecture Notes in Computer Science).

@inproceedings{a0854ba3d21c4ce6a1e4634db23e312c,

title = "TOOLympics 2019: An Overview of Competitions in Formal Methods",

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.",

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

year = "2019",

month = "1",

day = "1",

doi = "10.1007/978-3-030-17502-3_1",

language = "English",

isbn = "978-3-030-17461-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "3--24",

editor = "Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

}

Bartocci, E, Beyer, D, Black, PE, Fedyukovich, G, Garavel, H, Hartmanns, A, Huisman, M, Kordon, F, Nagele, J, Sighireanu, M, Steffen, B, Suda, M, Sutcliffe, G, Weber, T & 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. Lecture Notes in Computer Science, vol. 11429, Springer, Cham, pp. 3-24, European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 6/04/19. https://doi.org/10.1007/978-3-030-17502-3_1

TOOLympics 2019 : An Overview of Competitions in Formal Methods. / Bartocci, Ezio; Beyer, Dirk; Black, Paul E.; Fedyukovich, Grigory; Garavel, Hubert; Hartmanns, Arnd; Huisman, Marieke; Kordon, Fabrice; Nagele, Julian; Sighireanu, Mihaela; Steffen, Bernhard; Suda, Martin; Sutcliffe, Geoff; Weber, Tjark; Yamada, Akihisa.

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. ed. / Dirk Beyer; Marieke Huisman; Fabrice Kordon; Bernhard Steffen. Cham : Springer, 2019. p. 3-24 (Lecture Notes in Computer Science; Vol. 11429).

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

TY - GEN

T1 - TOOLympics 2019

T2 - An Overview of Competitions in Formal Methods

AU - Bartocci, Ezio

AU - Beyer, Dirk

AU - Black, Paul E.

AU - Fedyukovich, Grigory

AU - Garavel, Hubert

AU - Hartmanns, Arnd

AU - Huisman, Marieke

AU - Kordon, Fabrice

AU - Nagele, Julian

AU - Sighireanu, Mihaela

AU - Steffen, Bernhard

AU - Suda, Martin

AU - Sutcliffe, Geoff

AU - Weber, Tjark

AU - Yamada, Akihisa

PY - 2019/1/1

Y1 - 2019/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85064923137&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-17502-3_1

DO - 10.1007/978-3-030-17502-3_1

M3 - Conference contribution

SN - 978-3-030-17461-3

SN - 978-3-030-17501-6

T3 - Lecture Notes in Computer Science

SP - 3

EP - 24

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Beyer, Dirk

A2 - Huisman, Marieke

A2 - Kordon, Fabrice

A2 - Steffen, Bernhard

PB - Springer

CY - Cham

ER -

Bartocci E, Beyer D, Black PE, Fedyukovich G, Garavel H, Hartmanns A et al. TOOLympics 2019: An Overview of Competitions in Formal Methods. In Beyer D, Huisman M, Kordon F, Steffen B, editors, 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. Cham: Springer. 2019. p. 3-24. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-030-17502-3_1

Access to Document

10.1007/978-3-030-17502-3_1Licence: CC BY

Bartocci2019TOOLympicsFinal published version, 306 KBLicence: CC BY

Link to publication in Scopus