MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies. Policies are specified by formulas in MFOTL (Metric First-Order Temporal Logic).
The tool is developped as part of an academic project at ETH Zurich. Please visit the link below for more details on the project.
Be the first to post a review of MonPoly!