Primary tabs

Western Norway University of Applied Sciences is a working group to learn from and collaborate with government and organizations across the globe.

Other Access

The information on this page (the dataset metadata) is also available in these formats.

JSON RDF

via the DKAN API

CRV-2014 Offline Trace Data

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

FieldValue
Publisher
Modified Date
2017-06-28
Release Date
2017-06-28
Identifier
f3e12490-6f90-42b8-9982-e90607255d95
License
Public Access Level
Public