Difference between revisions of "Main Page"
From CRV
| Line 1: | Line 1: | ||
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. | 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 [http://www.ylies.fr/], Giles Reger [http://www.cs.man.ac.uk/~regerg/] and Sylvain Halle [http://leduotang.ca/sylvain/home] | |
| − | + | ||
| − | + | ||
| + | For queries contact crv2016@crv.liflab.ca, please do not contact the organisers directly | ||
== Important Dates == | == Important Dates == | ||
| − | + | {| | |
| + | |Registration|| ||May 1st - June 10th | ||
| + | |- | ||
| + | |Benchmark Collection ||||May 1st - June 6th | ||
| + | |- | ||
| + | |Clarifications||||June 10th - June 24th | ||
| + | |- | ||
| + | |Monitor Collection||||July 1st - July 18th | ||
| + | |- | ||
| + | |Results||||August 1st | ||
| + | |} | ||
= Rules = | = Rules = | ||
Revision as of 23:15, 23 April 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
Important Dates
| Registration | May 1st - June 10th | |
| Benchmark Collection | May 1st - June 6th | |
| Clarifications | June 10th - June 24th | |
| Monitor Collection | July 1st - July 18th | |
| Results | August 1st |
Rules
Please refer to <link to rules document>
Tracks
The tracks in this year's competition are as follows:
