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