RERS Challenge 2020

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