• 10/04/15 Results up
  • 10/02/15 Solutions for challenge up
  • 09/05/15 RV traces and ext. file released
  • 08/26/15 Submission opened, RV dates updated
  • 07/18/15 RV training traces
  • 05/15/15 Training solutions up

Important Dates:

  • 05/15/15
       Solutions Training Phase
  • 08/01/15 - 09/04/15
       White Box Submission
  • 09/05/15
       Release Monitoring Input
  • 09/08/15
       RV Submission

Problem Download

Training Problems

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

Challenge Problems

The RERS Challenge 2015 will provide Benchmark problems of increasing complexity, the more involved of which will probably be beyond any individual state-of-the-art method or tool. The 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).

The following table lists the categories with the corresponding challenge phases.

Phase Problem Category
05/01/15 - 08/31/15 White-Box problems
05/01/15 - 09/03/15 Runtime Verfication problems