Updates

  • 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

Submission

Submissions for the white box and RV challenge problems are now closed.

If you have completed all (or some) tasks, we kindly request you to submit your solution in a CSV-style format. Solutions for each of the problems should be specified in the following way:

<no1>,<spec1>,<answer1>
<no2>,<spec2>,<answer2>
...

where

  • no is the problem specification number.
  • spec is the property specification identifier, where number 0 to 99 correspond to the LTL formulae for each problem and the number 100 to 199 are reserved for the reachability questions concerning the error labels (100 is for error_0 and 199 for error_99). Or you can specify directly the LTL expression, or the name of the error label respectively.
  • answer expresses whether or not you believe this error label to be reachable, or the respective LTL property to be satisfied. This may be expressed as true/false, yes/no or 1/0.

Hence, a line in this file for a hypothetical problem 0 might look like this:

0, error_37, true

Please choose for each of the CSV-files a name which clearly identifies the respective problem along with an ID uniquely identifying the solution as yours such as "problemX-.csv". You are free to make one file for each problem or combining all solutions into a global CSV file. If you split your solutions into several files, please provide them as a ZIP or (compressed) TAR archive.