Franco Mazzanti (FMT lab, ISTI-CNR, Pisa, Italy), Frédéric Lang and Wendelin Serwe (CONVECS, Inria-Grenoble, France), after their successful participation in last year’s RERS 2019 Challenge, again won three gold medals at the “Parallel CTL” track of RERS 2020 [L1].

The RERS (Rigorous Examination of Reactive Systems) challenge is an international software verification competition held every year since 2011. RERS 2020 is the 10th edition of the challenge. Gold medals are awarded based on the number of problems solved, and the joint CNR-Inria team solved 79 of the proposed 90 problems which were structured in three groups of increasing difficulty. Also this year, the result was obtained by the exploitation of advanced compositional verification techniques, some of which have been presented at the 3rd World Congress on Formal Methods (FM 2019) [1] and implemented in the CADP toolbox developed at CONVECS [L2].


[1] F. Lang, R. Mateescu, F. Mazzanti: “Compositional Verification of Concurrent Systems by Combining Bisimulations”, in Formal Methods: The Next 30 Years, Proc. of FM 2019, Porto, Portugal, LNCS, Springer, 196-213.

Please contact:
Franco Mazzanti, ISTI-CNR, Italy
This email address is being protected from spambots. You need JavaScript enabled to view it.

Next issue: July 2023
Special theme:
"Eplainable AI"
Call for the next issue
Image ERCIM News 124
This issue in pdf
Image ERCIM News 124 epub
This issue in ePub format

Get the latest issue to your desktop
RSS Feed
Cookies user preferences
We use cookies to ensure you to get the best experience on our website. If you decline the use of cookies, this website may not function as expected.
Accept all
Decline all
Read more
Tools used to analyze the data to measure the effectiveness of a website and to understand how it works.
Google Analytics
Set of techniques which have for object the commercial strategy and in particular the market study.
DoubleClick/Google Marketing