Participate
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)
To get a feel of the challenge please look at the how-to, problem description and challenge rules pages.