MonPoly
external page MonPoly is a monitoring tool that checks compliance of log files with respect to policies in metric first-order temporal logic (MFOTL) with aggregation operators.
This software has been developed as part of the Runtime Policy Monitoring and Enforcement project.