Difference between revisions of "Main Page"

From CRV
Jump to: navigation, search
 
(4 intermediate revisions by one other user not shown)
Line 4: Line 4:
  
 
For queries contact crv2016@crv.liflab.ca, please do not contact the organisers directly
 
For queries contact crv2016@crv.liflab.ca, please do not contact the organisers directly
 +
 +
The Wiki for the previous competition can be found here [https://forge.imag.fr/plugins/mediawiki/wiki/crv15/index.php/Main_Page] but please note that (i) many things may have changed since the last competition, and (ii) the Wiki was not used properly or to its full potential last year, we hope for this to be different this year.
 +
  
 
== Important Dates ==
 
== Important Dates ==
  
 
{|
 
{|
|Registration||      ||May 1st - June 10th
+
|Registration||      ||May 1st - June 5th
 
|-
 
|-
|Benchmark Collection    ||||May 1st - June 6th
+
|Benchmark Collection    ||||May 1st - May 29th
 
|-
 
|-
|Clarifications||||June 10th - June 24th
+
|Clarifications||||June 5th - June 12th
 
|-
 
|-
|Monitor Collection||||July 1st - July 18th
+
|Monitor Collection||||June 19th - July 10th
 
|-
 
|-
 
|Results||||August 1st
 
|Results||||August 1st
Line 21: Line 24:
 
= Rules =
 
= Rules =
  
Please refer to <link to rules document>
+
Please refer to [http://crv.liflab.ca/CRV2016.pdf] for all details relating to the rules. Any clarifications will be posted here and updated in the document directly (please do contact the organisers if anything needs clarification).
  
 
= Tracks =
 
= Tracks =
Line 30: Line 33:
 
* [[Java track]]
 
* [[Java track]]
 
* [[C track]]
 
* [[C track]]
 +
 +
= Accessing the server =
 +
 +
Here are the [[Server_Instructions]].

Latest revision as of 12:35, 25 May 2016

This is the Wiki site for CRV 2016, the 3rd 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.

The organisers are Ylies Falcone [1], Giles Reger [2] and Sylvain Halle [3]

For queries contact crv2016@crv.liflab.ca, please do not contact the organisers directly

The Wiki for the previous competition can be found here [4] but please note that (i) many things may have changed since the last competition, and (ii) the Wiki was not used properly or to its full potential last year, we hope for this to be different this year.


Important Dates

Registration May 1st - June 5th
Benchmark Collection May 1st - May 29th
Clarifications June 5th - June 12th
Monitor Collection June 19th - July 10th
Results August 1st

Rules

Please refer to [5] for all details relating to the rules. Any clarifications will be posted here and updated in the document directly (please do contact the organisers if anything needs clarification).

Tracks

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

Accessing the server

Here are the Server_Instructions.