• 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

Download Runtime Verification Problems

The external files and traces are now available for download in a new row within the overview table!

The bronze, silver and gold problems mark the level of difficulty and define the hardest problem to be solved for the respective achievement. For further information please take a look at the rewards and achievements page.

For further information about the code layout please read the Java-code and C-code description. Other useful information can be found on the problem description page. Note that the ProblemXExternal file should not be edited as it will be replaced in 09/05/2015 to create the actual problem.

tarball containing all RV problems

plain arithmetic, medium data structures, large
small problem without complicated data structures and obfuscation
medium-sized problem with arithmetic computations
large problem with arithmetic computations, array syntax and much code noise
Problem 4: traces and external Problem 5: traces and external Problem 6: traces and external

Please remember that the ProblemXExternal.c and ProblemXExternal.java files are going to be replaced on 09/01/15, this is also when input sequences for monitoring are going to be provided. C problems can be compiled and run with

    $ gcc -o ProblemX ProblemX.c ProblemXExternal.c 
    $ ./ProblemX
Java problems can be compiled and run with
    $ javac ProblemX.java ProblemXExternal.java
    $ java ProblemX.java