TOOLympics at TACAS'19

TOOLympics 2019 is an event to celebrate the achievements of the various competitions or comparative evaluations in the field of Tools and Algorithms for the Construction and Analysis of Systems. The event is part of the 25th TACAS anniversary celebration.


  • Dirk Beyer
    (LMU Munich, Germany)
  • Marieke Huisman
    (University of Twente, Netherlands)
  • Fabrice Kordon
    (Sorbonne University, France)
  • Bernhard Steffen
    (TU Dortmund, Germany)
Download Poster


Saturday Room S5 Room SW2 Room SU2
9:00-10:30 CoCo SV-COMP Talks VerifyThis 1
11:00-12:30 SL-COMP SV-COMP Meeting VerifyThis 2
14:00-15:30 RERS 1 Test-Comp Talks VerifyThis 3
16:00-18:00 RERS 2 Test-Comp Meeting VerifyThis 4
Sunday Room S5 Room SU2
9:00-10:30 MCC VerifyThis 5
11:00-12:30 TOOLympics 1 - Pre-Events
  • QComp
  • Test-Comp
  • RERS
  • SAT
  • TermCOMP
VerifyThis 6
14:00-15:30 TOOLympics 2 - On-Site / Post
  • CASC
  • CoCo
  • CRV
  • MCC
  • REC
  • Rodeo
  • VerifyThis
16:00-18:00 25 Years TACAS -- Panel Discussion: Moore's Law, and More?
Moderator: Bernhard Steffen
Panelists: Marieke Huisman, Rance Cleaveland, Hubert Garavel, Holger Hermanns, Kim Larsen
Topics: Moore's law undoubtedly indicates impressive measurable success at the hardware front with enormous impact also at the software side: The impact of most analysis and verification tools strongly relies on today's hardware performance. The panel will discuss means to support, measure, and exploit progress in tool development, their effectiveness, and their future potential. Goal is to shape a sustainable research agenda for the post Moore's law era.

Participating Competitions

Competition Kind of Event Contact Organizer
CASC Post-TACAS Geoff Sutcliffe (University of Miami, USA)
CHC-COMP Pre-TACAS Grigory Fedyukovich (University of Princeton, USA)
QComp Pre-TACAS Arnd Hartmanns (University of Twente, Netherlands)
Test-Comp Pre-TACAS Dirk Beyer (LMU Munich, Germany)
SV-COMP Pre-TACAS Dirk Beyer (LMU Munich, Germany)
CoCo On-Site Julian Nagele (Queen Mary University of London, UK)
CRV Post-TACAS Ezio Bartocci (TU Wien, Austria)
SMT-COMP Post-TACAS Tjark Weber (Uppsala University, Sweden)
MCC On-Site Fabrice Kordon (Sorbonne Université, France)
REC On-Site Hubert Garavel (INRIA Grenoble, France)
RERS Pre-TACAS Bernhard Steffen (TU Dortmund, Germany)
Rodeo Post-TACAS Paul E. Black (NIST, United States)
SAT Pre-TACAS Martin Suda (Czech Technical University, Czech Republic)
SL-COMP Pre-TACAS Mihaela Sighireanu (University Paris Diderot, France)
TermCOMP Pre-TACAS Akihisa Yamada (NII, Japan)
VerifyThis On-Site Marieke Huisman (University of Twente, Netherlands)