Updates

  • 12/06/17 parallel problems updated
  • 26/05/17 parallel problems released
  • 01/03/17 parallel training problems released
  • 15/02/17 sequential problems released
  • 01/02/17 training sequential up, challenge problems postponed
  • 27/01/17 update on parallel problems

Important Dates:

  • 12/07/17
       RERS at ISSTA/SPIN
  • 01/02/17
       Release Sequential Training    Problems
  • 15/02/17
       Release Sequential    Problems
  • 01/03/17
       Release Parallel Training    Problems
  • 26/05/17
       Release Parallel Problems
  • 01/02/17 - 01/07/17
       Challenge Phase
  • 15/02/17 - 01/07/17
       Solution Submission

Sequential Training Problems for RERS 2017

The problems listed here are a simple and small one and a small complex version to exhibit both extremes. The problems come in two types, LTL and reachability problems that are similar to the versions from previous RERS editions. For each type a Java and C version are available.

For further information about the code layout and semantics (we use C99 semantics) please read the Java-code and C99-code description.

Self-Evaluation Tool

To ease the entry hurdle you can use our Self-Evaluation Tool to compare your results for the training problems with the provided solutions. It will calculate your points and point out your mistakes!

LTL Problems

The LTL problems are similar to the problems of RERS 2016, the overall layout and language features remain the same. A zip containing the LTL training problems and solutions can be downloaded here.

plain, small arithmetic, small data structures, small
Problem1 Problem2 Problem3

Reachability Problems

The reachability problems are similar to the problems of RERS 2016. The reachability of calls to external functions has to be verified. A zip containing the reachability training problems and solutions can be downloaded here.

plain, small arithmetic, small data structures, small
Problem4 Problem5 Problem6