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.