Updates

  • July 27th, 2020:
       Sequential challenge    problems released. Parallel    problems will follow soon.
  • July 17th, 2020:
       Submission dates changed    (August → September)
  • May 18th, 2020:
       Sequential training problems    released
  • May 5th, 2020:
       Important dates announced

Important Dates:

  • Oct. 20th – 30th, 2020:
       RERS at ISoLA'20
  • Sept. 20th, 2020:
       Final submission
  • Sept. 10th, 2020:
       Initial submission
  • July 27th, 2020:
       Challenge problems
  • May 18th, 2020:
       Training problems

Sequential Problems (Overview)

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