Updates

Important Dates:

  • Oct. 30 – Nov. 13 (tba), 2018:
       RERS at ISoLA'18
  • Oct. 01 – Oct. 14, 2018:
       Solution Submission
  • Aug. 20, 2018:
       Release Parallel LTL
  • Jul. 18, 2018:
       Release Sequential LTL and
       Sequential Reachability
  • Jul. 18, 2018:
       Training benchmarks
       available

Sequential Problems (Overview)

This page serves as a menu concerning the sequential problems of the RERS Challenge 2018.
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 2018 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 2018 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