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 are 2 public repositories matching this topic...
Formal runtime verification for tool-using LLM agents: MFOTL/MonPoly replayed offline on AgentDojo, STAC and R-Judge. Paper, MFOTL specifications, experiments, and the benchmark-readiness audit (CPSIoTSec 2026).
formal-methods runtime-verification mfotl prompt-injection llm-agents agent-security monpoly agentdojo
-
Updated
Aug 27, 2026 - Python
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."