Commit 5e313440 authored by Yliès FALCONE's avatar Yliès FALCONE
Browse files


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).
This repository contains the scripts to be run on DataMill [1] produced by each
participants to assess their tools on the benchmarks of the competition (see [2]).
We also provide an Excel file with the raw experimental data. The Excel sheet also
implements the score calculation. The Excel sheet is available at:
\ No newline at end of file
Supports Markdown
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