![[Open Data]](https://assets.okfn.org/images/ok_buttons/od_80x15_blue.png)
Here hosts the offline monitoring trace data 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).
Data Source: https://gitlab.inria.fr/crv14/benchmarks/tree/master
Data and Resources
- Trace data for OFFLINE/Team4/Bench1 csv
The property formalizes a compliance policy for a banking system that...
Preview Download - Trace data for OFFLINE/Team4/Bench2csv
The property formalizes a compliance policy for a banking system that...
Preview Download - Trace data for OFFLINE/Team4/Bench3csv
The property represents an approval policy for publishing business reports...
Preview Download - Trace data for OFFLINE/Team4/Bench4csv
The property is rooted in the domain of fraud detection.
...
Preview Download
| Field | Value |
|---|---|
| Publisher | |
| Modified Date | 2017-06-28 |
| Release Date | 2017-06-28 |
| Identifier | f3e12490-6f90-42b8-9982-e90607255d95 |
| License | |
| Public Access Level | Public |