Download PDFOpen PDF in browserThe MonPoly Monitoring Tool10 pages•Published: December 14, 2017AbstractMonPoly is a monitoring tool for checking logs against formulas of metric first-order temporal logic. We provide here an overview of the tool, including its usage and history.Keyphrases: logic based, mfotl, monitoring In: Giles Reger and Klaus Havelund (editors). RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol 3, pages 19-28.
|