runtime-monitoring

There are 0 repository under runtime-monitoring topic.

doganulus / timescales
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
temporal-logic benchmark-suite runtime-verification runtime-monitoring benchmark-generation monitoring
Language:Shell 6
mojtaba-eshghie / HighGuard
The runtime monitoring tool for smart contracts high-level properties.
blockchain dcr-graphs dynamic-condition-response high-level-properties invariants monitoring runtime-monitoring runtime-verification smart-contract-invariants smart-contracts smart-contracts-audit smart-contracts-security
Language:Solidity 5
ista-vamos / vamos
The main VAMOS repository
black-box heterogeneous-systems parallel parallel-computing runtime-monitoring runtime-monitoring-system runtime-verification
Language:Makefile 2
runtime-monitoring / explanator2
Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
isabelle ocaml runtime-monitoring runtime-verification
Language:Isabelle 1
runtime-monitoring / whymon
A runtime monitoring tool that produces explanations as verdicts
explainable runtime-monitoring temporal-logics
Language:Isabelle 1
autonomy-and-verification / varanus
A Runtime Verification toolchain that uses a CSP model as its oracle, checked by FDR.
runtime-monitoring runtime-verification communicating-sequential-processes fdr
Language:Python 0
ista-vamos / fase23-experiments
Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
parallel-computing parallel-processing ring-buffer runtime-monitoring runtime-monitoring-system runtime-verification shared-memory shared-memory-communication shared-memory-queue
Language:SWIG 0
ista-vamos / vamos-mpt
Monitoring hyperproperties with Multi-trace prefix transducers
compilers hyperproperties monitoring runtime-monitoring runtime-verification
Language:Python 0
jnzd / monpoly-server
Bachelor Thesis - A real-time, flexible logging and monitoring infrastructure for MonPoly
logging monitoring questdb runtime-monitoring temporal-logic
Language:OCaml 0