$wgGroupPermissions['user']['read'] = true; $wgGroupPermissions['*']['read'] = true; Forge Wiki

Main Page

From Forge Wiki

Jump to: navigation, search

This is the Wiki site for CRV 2015, the 2nd International Competition on Runtime Verification. This site describes the benchmarks and monitors submitted by each participant and also the specifications from each participant competing on that benchmark.

For queries contact crv15 DOT chairs AT imag DOT fr.

Please see the Rules page for a description of the competition rules.

Please see the Rules Clarification page for requesting clarifications on the competition rules.


Important Dates

  • January 30, 2015: Declaration of intent (email: crv15 DOT chairs AT imag DOT fr)
  • March 15, 2015: Submission deadline for benchmark programs and the properties to be monitored.
  • March 30, 2015: Tool training starts by participants.
  • June 10, 2015: Deadline for monitor submission by participants.
  • June 15, 2015: Deadline for monitor verification by participants and chairs.
  • June 25, 2015: Announcement of results.
  • June 30, 2015: Final results validated.

At RV 2015 Presentation of results.

Instructions for submitting benchmarks

Each participating team should navigate to the track in which it is competing and find the benchmark pages for their submissions. These pages will contain detailed instructions on benchmark submission. Each benchmark has a dedicated page. All data associated with this benchmark, including requests for clarifications, should appear on this page.

Please see the Benchmark upload page for a description of how to upload benchmark files.

Instructions for submitting monitors

Please see the Monitor Collection Phase page for a description of how to upload the monitors.


The tracks in this year's competition are as follows:

Powered By FusionForge