gitlab.inria.fr / crv14 1 Repository
This group is purposed to host benchmarks and experiments related to CRV 14, the 1st International Competition on Runtime Verification held as part of the 2014 edition of the Runtime Verification conference.
crv14/evaluation
This project contains the information related to the evaluation carried out during CRV 14.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
crv14/benchmarks
This project contains the benchmarks used during CRV 14.
Last synced at: 7 months ago - Stars: 0 - Forks: 0