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. | |
− | + | For queries contact <email address> | |
− | == | + | Please see the [[ Rules ]] page for a description of the competition rules. |
− | + | ||
− | * [ | + | |
− | * [ | + | == Important Dates == |
− | * [ | + | |
+ | TODO | ||
+ | |||
+ | = Rules = | ||
+ | |||
+ | Please refer to <link to rules document> | ||
+ | |||
+ | = Tracks = | ||
+ | |||
+ | The tracks in this year's competition are as follows: | ||
+ | |||
+ | * [[Offline track]] | ||
+ | * [[Java track]] | ||
+ | * [[C track]] |
Revision as of 19:37, 1 March 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.
For queries contact <email address>
Please see the Rules page for a description of the competition rules.
Important Dates
TODO
Rules
Please refer to <link to rules document>
Tracks
The tracks in this year's competition are as follows: