Topic: "runtime-monitoring"
nasa/ogma
Generator of runtime monitors for flight and robotics applications.
Language: Haskell - Size: 30.7 MB - Last synced at: 16 days ago - Pushed at: about 1 month ago - Stars: 397 - Forks: 36
doganulus/timescales
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
Language: Shell - Size: 1.2 MB - Last synced at: 16 days ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 2
mojtaba-eshghie/HighGuard
HighGuard is a runtime monitoring tool for monitoring smart contracts against high-level properties
Language: JavaScript - Size: 20.1 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 2
ista-vamos/vamos
The main VAMOS repository
Language: Makefile - Size: 1.13 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
runtime-monitoring/explanator2
Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
Language: Isabelle - Size: 20 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
runtime-monitoring/whymon
A runtime monitoring tool that produces explanations as verdicts
Language: Isabelle - Size: 168 MB - Last synced at: 6 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 2
iahmedov/gomon
Application performance monitoring tool
Language: Go - Size: 48.8 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1
autonomy-and-verification/varanus
A Runtime Verification toolchain that uses a CSP model as its oracle.
Language: Python - Size: 1.5 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1
jnzd/monpoly-server
Bachelor Thesis - A real-time, flexible logging and monitoring infrastructure for MonPoly
Language: OCaml - Size: 3.11 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
ista-vamos/fase23-experiments
Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
Language: SWIG - Size: 3.09 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
ista-vamos/vamos-mpt
Monitoring hyperproperties with Multi-trace prefix transducers
Language: Python - Size: 140 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0