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 : ftp://ftp.inrialpes.fr/pub/vasy/presentations/Lang-RERS-20.pdf
Mis à jour le 15 mars 2021