runtime-monitoring

There are 10 repositories under runtime-monitoring topic.

nasa/ogma
Generator of runtime monitors for flight and robotics applications.
Language:Haskell342 13 12326
mojtaba-eshghie/HighGuard
The runtime monitoring tool for smart contracts business logic.
Language:Jupyter Notebook7 2 672
doganulus/timescales
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
Language:Shell6 3 02
ista-vamos/vamos
The main VAMOS repository
Language:Makefile3 1 70
runtime-monitoring/explanator2
Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
Language:Isabelle1 5 10
runtime-monitoring/whymon
A runtime monitoring tool that produces explanations as verdicts
Language:Isabelle1 3 13
autonomy-and-verification/varanus
A Runtime Verification toolchain that uses a CSP model as its oracle.
Language:Python0 8 01
ista-vamos/fase23-experiments
Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
Language:SWIG0 1 00
ista-vamos/mpt
Monitoring hyperproperties with Multi-trace prefix transducers
Language:Python0 1 51
jnzd/monpoly-server
Bachelor Thesis - A real-time, flexible logging and monitoring infrastructure for MonPoly
Language:OCaml0 1 00