MonPoly

external pageMonPolycall_made 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.