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 anniversary of the TACAS conference.
| Original language | English (US) |
|---|---|
| Title of host publication | Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS |
| Subtitle of host publication | TOOLympics, Held as Part of ETAPS 2019, Proceedings |
| Editors | Bernhard Steffen, Fabrice Kordon, Dirk Beyer, Marieke Huisman |
| Publisher | Springer Verlag |
| Pages | 3-24 |
| Number of pages | 22 |
| ISBN (Print) | 9783030175016 |
| DOIs | |
| State | Published - Jan 1 2019 |
| Event | 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019 - Prague, Czech Republic Duration: Apr 6 2019 → Apr 11 2019 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 11429 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019 |
|---|---|
| Country | Czech Republic |
| City | Prague |
| Period | 4/6/19 → 4/11/19 |
Fingerprint
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)
Cite this
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, Geoffrey; 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, Proceedings. ed. / Bernhard Steffen; Fabrice Kordon; Dirk Beyer; Marieke Huisman. Springer Verlag, 2019. p. 3-24 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11429 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
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, Geoffrey
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 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 anniversary of the TACAS conference.
UR - http://www.scopus.com/inward/record.url?scp=85064923137&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.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
AN - SCOPUS:85064923137
SN - 9783030175016
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 3
EP - 24
BT - Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS
A2 - Steffen, Bernhard
A2 - Kordon, Fabrice
A2 - Beyer, Dirk
A2 - Huisman, Marieke
PB - Springer Verlag
ER -