Updates

  • 22/10/16 Solutions uploaded
  • 20/08/16 Parallel problems replaced
  • 07/08/16 Parallel problems released
  • 20/06/16 workshop date annouced
  • 13/06/16 Parallel release announced
  • 01/05/16 Problems up

Important Dates:

  • 09/10/16
       RERS workshop at ISoLA
  • 31/05/16
       Release Ranking Details
  • 01/05/16 - 15/09/16
       Challenge Phase
  • 01/09/16 - 15/09/16
       Solution Submission
  • 07/08/16 - 15/09/16
       Release Parallel Problem

Training Problems for RERS 2016

Additional training problems (5 to 16) and Self-Evaluation tool were added on 21.06.2016 Due to confusion about the semantic interpretation of the modulo operator and the integer range: the C code is to be interpretet as C99 and the inter range for all integers is asumed to be 32 bit.

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. The two evaulation tasks are now evaluated on separate problems though to get rid the error-free semantic of RERS 2015. 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-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 2015 without the error label check, the overall layout and language features remain the same. A zip containing the LTL training problems and solutions can be downloaded here.

simple, small complex, small
Problem1 Problem2
Additional training problems, included in the updated zip file above!
plain, small arithmetic, small data structures, small
Problem5 Problem6 Problem7
Problem8 Problem9 Problem10

Reachability Problems

The reachability problems are similar to the problems of RERS 2015. The difference is that no LTL formulas have to be verified. The syntax of the errors has been changed, instead of label the reachability of a call of an external function has to be verified. A zip containing the reachability training problems and solutions can be downloaded here.

simple, small complex, small
Problem3 Problem4
Additional training problems, included in the updated zip file above!
plain, small arithmetic, small data structures, small
Problem11 Problem12 Problem13
Problem14 Problem15 Problem16