Updates

  • Apr. 18, 2019:
        Results online
  • Mar. 13, 2019:
        C code of industrial training     problems and reachability
        problem m106 updated
  • Mar. 09, 2019:
       IMPORTANT: C99 code of    sequential and industrial    challenge problems replaced
  • Feb. 27, 2019:
       Parallel LTL/CTL problems &     training problems released
  • Feb. 01, 2019:
       Sequential and industrial
       challenge problems released
  • Feb. 01, 2019:
       Parallel challenge problems    will be released asap
  • Jan. 25, 2019:
       Training problems
       now available

Important Dates:

  • Apr. 06 – 7, 2019:
       RERS at TACAS'19
       (TOOLympics)
  • Mar. 22, 2019:
       Solution submission
  • Feb. 01, 2019:
       Release of challenge
       problems
  • Jan. 25, 2019:
       Training problems
       available

The RERS Challenge @ TACAS 2019

Part of TOOLympics

The official meeting of the RERS community will take place at TACAS'19, Prague, Czech Republic, April 6 – 7, 2019.

The main event, including a presentation of the results (ranking and earned achievements) and presentations by participants, will start at 2pm on Saturday, April 6th. Directly afterwards, we intend to discuss plans for RERS 2020. Feedback and ideas are welcome during this discussion.

For the most recent information regarding the scheduled program, please see the TOOLympics website.