Commit 2a37feb8 authored by Yliès FALCONE's avatar Yliès FALCONE

Update README.md

parent 2ba255f1
This GitLab project hosts the benchmarks used during the First International
# About
This GitLab project hosts the evaluation scripts used during the First International
Competition on Runtime Verification (CRV 14).
CRV 14 was held in September 2014, in Toronto, Canada, as a satellite event of
the 14th international conference on Runtime Verification (RV’14).
# Repository content
This repository contains:
1. the scripts to be run on DataMill [1] produced by each
participants to assess their tools on the benchmarks of the competition (see [2]).
2. a spreadsheet with the raw experimental data; The spreadsheet also
implements the score calculation. The speadsheet is also available at [3].
* [1] https://datamill.uwaterloo.ca
* [2] https://gitlab.inria.fr/crv14/benchmarks
* [3] https://goo.gl/YpMlXY
\ No newline at end of file
1. the scripts to be run on [DataMill](https://datamill.uwaterloo.ca "DataMill") produced by the
participants to assess their tools on the benchmarks of the competition (see the other GitLab [project hosting benchmarks](https://gitlab.inria.fr/crv14/benchmarks)).
2. a spreadsheet with the raw experimental data and which also
implements score calculation.
The speadsheet can also be downloaded [here](https://goo.gl/YpMlXY "Spreadsheet").
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment