Generator of runtime monitors for flight and robotics applications.
The runtime monitoring tool for smart contracts business logic.
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
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.
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."