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
- Imprimer
- Partager
- Partager sur Facebook
- Share on X
- Partager sur LinkedIn
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
Membre du LIG
Frédéric LANG
Equipe CONVECS
URL de l'évènement
- Imprimer
- Partager
- Partager sur Facebook
- Share on X
- Partager sur LinkedIn