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 |