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.
|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|
|Number of pages||22|
|ISBN (Print)||978-3-030-17461-3, 978-3-030-17501-6|
|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
|Name||Lecture Notes in Computer Science|
|Conference||European Joint Conferences on Theory and Practice of Software, ETAPS 2019|
|Abbreviated title||ETAPS 2019|
|Period||6/04/19 → 11/04/19|