RERS 2019 challenge

Rigorous Examination of Reactive Systems (RERS)

rers 2019

The Transposition project (ESI/ASML) works on model inference. Interface protocols are inferred to support re-engineering of legacy components. To obtain the best performing techniques to infer behavioral models, ESI and ASML co-organize the RERS 2019 challenge, in collaboration with TU Dortmund and the Radboud University.

The Rigorous Examination of Reactive Systems (RERS) challenge, a yearly contest since 2012, is a contest that allows any tool or technique to be used, including e.g. source code analysis, passive learning, active automata learning, and combinations of techniques. In 2019, for the first time, RERS features an industrial track, with problems provided by ASML.

On February 1, the challenge problems will be released. Contestants can submit their solutions until March 22. The results will be announced at the RERS event at TOOLympics, on April 6-7 in Prague, Czech Republic, preceding the TACAS 2019 conference.

For more information visit the RERS website

and for more info on the RERS 2019 challenge

Wouter Leibbrandt

Director Science and Operations
+31 88 866 55 60

“Continuous innovation in methodologies, system architecture thinking and cross-disciplinary ways of working to master the ever increasing complexity are crucial to maintain and extend Europe’s and Dutch competitiveness in this strategic domain.”