GitHub topics: runtime-monitoring
tvroi/ebpf-docker-build-monitor
eBPF-based monitor for detecting suspicious activity during Docker image builds
Language: C - Size: 16.6 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
nasa/ogma
Generator of runtime monitors for flight and robotics applications.
Language: Haskell - Size: 30.7 MB - Last synced at: 27 days ago - Pushed at: 3 months ago - Stars: 429 - Forks: 37
ista-vamos/vamos
The main VAMOS repository
Language: Makefile - Size: 1.15 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 3 - 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: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
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: 6 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 1
runtime-monitoring/whymon
A runtime monitoring tool that produces explanations as verdicts
Language: Isabelle - Size: 168 MB - Last synced at: 7 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 2
jnzd/monpoly-server
Bachelor Thesis - A real-time, flexible logging and monitoring infrastructure for MonPoly
Language: OCaml - Size: 3.11 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
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/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
doganulus/timescales
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
Language: Shell - Size: 1.2 MB - Last synced at: 12 days ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 2
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
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
