This repository has been created to store Benchmarks for Runtime Verification.
Please visit the Wiki for an overview of the contents and additional material.
This activity is connected to the ARVI COST Action - see here https://www.cost-arvi.eu. There is an associated website at www.cs.man.ac.uk/~regerg/rvBenchmarkRepository.