Skip to main content

RERS' 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

RERS' 2020

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

Submitted on January 26, 2021

Updated on September 17, 2024