MonPoly is a prototype monitoring tool. It checks the compliance of log files with respect to policies that are specified by formulas in Metric First-Order Temporal Logic (MFOTL).
-
Updated
Sep 7, 2022 - Isabelle
#
mfotl
Here is 1 public repository matching this topic...
Improve this page
Add a description, image, and links to the mfotl topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mfotl topic, visit your repo's landing page and select "manage topics."