Keyword:tool extensions

Publications
Runtime Verification using LARVA Christian Colombo and Gordon Pace In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools