• 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


Call for Participation

The goal for RERS 2015 is to compare all sorts of software verification tools. Participants are welcome to test their tools on the provided benchmarks and even propose certain programming languages and features that should be supported by the benchmarks.

It is planned to support two main tracks on three levels of difficulty:

  • verification of safety and liveness properties (100 LTL and 100 reachable labels)
  • monitoring of 100 properties (LTL properties)
Both tracks are run on three benchmarks problems and will be available in Java and C.

To get a feel of the challenge please look at the how-to, problem description and challenge rules pages.