Updates

  • 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

Sequential Problems (Overview)

This page serves as a menu concerning the sequential problems of the RERS Challenge 2019.
Please consult the following sub-pages:

  • Training Phase: Small problems with solutions. These training problems allow participants to test their approach before an actual submission.
  • LTL Problems: Actual challenge problems of the RERS 2019 Sequential LTL track. Reactive systems in C99 and Java on which linear temporal logic properties have to be checked.
  • Reachability Problems: Actual challenge problems of the RERS 2019 Sequential Reachability track. Reactive systems in C99 and Java with potentially reachable errors.
  • Problem Description:
    • Overview: Description of the benchmarks concerned with sequential programs
    • C99 Code: C99 code syntax and description
    • Java Code: Java code syntax and description