Important Dates:

For Participants


Problem Download

Training Problems

In preparation for the challenge in May we strongly recommend to try your approach on the training problems and the problems of former challenges, which you can both find on the training problem page!

Challenge Problems

The RERS Challenge 2014 will provide a wealth of Benchmark problems of increasing complexity, the more involved of which will probably be beyond any individual state-of-the-art method or tool. A large set of Benchmarks will be synthesized to exhibit chosen properties, and then enhanced in an automated process to cover dedicated dimensions of difficulty, including:

  1. conceptual complexity of the exhibited properties (reachability, safety, liveness),
  2. size of the systems (from a few hundred lines of code to millions of them), and
  3. language features (arrays, indirect addressing, floating point arithmetics, virtual method calls, recursion).

In the following table you can find all categories, with the respective starting date and number of problems in each category, for this challenge.

Starting Date Problem Category
May 15, 2014 12 White-Box problems
As of 15.7.2014 the problems 10, 11 and 12 have been replaced due to a generation mistake. 
Sorry for the inconvenience.
July 31, 2014 3 extended White-Box problems