README.md 605 Bytes
Newer Older
Yliès FALCONE's avatar
Yliès FALCONE committed
1
2
3
4
5
This GitLab project hosts the benchmarks 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).

Yliès FALCONE's avatar
Yliès FALCONE committed
6
7
This repository contains:
1. the scripts to be run on DataMill [1] produced by each
Yliès FALCONE's avatar
Yliès FALCONE committed
8
participants to assess their tools on the benchmarks of the competition (see [2]).
Yliès FALCONE's avatar
Yliès FALCONE committed
9
10
2. an spreadsheet with the raw experimental data. The spreadsheet also
implements the score calculation.
Yliès FALCONE's avatar
Yliès FALCONE committed
11

Yliès FALCONE's avatar
Yliès FALCONE committed
12
The speadsheet is also available at:
Yliès FALCONE's avatar
Yliès FALCONE committed
13

Yliès FALCONE's avatar
Yliès FALCONE committed
14
https://goo.gl/YpMlXY