Frédéric Lang and Wendelin Serwe (CONVECS team) and Franco Mazzanti (ISTI-CNR, Pisa) have won the gold medals at the "Parallel CTL" track of the RERS'2020 challenge
The goal of the yearly RERS (Rigorous Examination of Reactive Systems) challenge is to provide a set of complex reactive systems (sequential and parallel) as a benchmark for assessing the efficiency and capabilities of verification tools.

Slides of Frédéric Lang's presentation at RERS'2020 :
Mis à jour le 15 mars 2021