A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
-
Updated
Dec 30, 2023 - Shell
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
The runtime monitoring tool for smart contracts high-level properties.
The main VAMOS repository
Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
A runtime monitoring tool that produces explanations as verdicts
Bachelor Thesis - A real-time, flexible logging and monitoring infrastructure for MonPoly
Monitoring hyperproperties with Multi-trace prefix transducers
Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
A Runtime Verification toolchain that uses a CSP model as its oracle, checked by FDR.
Add a description, image, and links to the runtime-monitoring topic page so that developers can more easily learn about it.
To associate your repository with the runtime-monitoring topic, visit your repo's landing page and select "manage topics."