Keyword:MFOTL

Publications
The MonPoly Monitoring Tool David Basin, Felix Klaedtke and Eugen Zalinescu In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools