Pinned Repositories
hna
Library for the construction, manipulation and runtime verification of hypernode automata
mpt
Monitoring hyperproperties with Multi-trace prefix transducers
QuAK
Quantitative Automata Kit
rv23-experiments
Experiments from the paper "Monitoring Hyperproperties With Prefix Transducers" accepted at RV'23
vamos
The main VAMOS repository
vamos-buffers
Implementation of shared-memory ring-buffers
vamos-common
Common pieces shared between repositories
vamos-compiler
Compiler for vamos specifications
vamos-hyper
VAMOS hypertrace support library
vamos-sources
Event sources for VAMOS
ISTA-vamos's Repositories
ista-vamos/QuAK
Quantitative Automata Kit
ista-vamos/vamos
The main VAMOS repository
ista-vamos/vamos-buffers
Implementation of shared-memory ring-buffers
ista-vamos/dataracebench
Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
ista-vamos/fase23-experiments
Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
ista-vamos/hna
Library for the construction, manipulation and runtime verification of hypernode automata
ista-vamos/mpt
Monitoring hyperproperties with Multi-trace prefix transducers
ista-vamos/rv23-experiments
Experiments from the paper "Monitoring Hyperproperties With Prefix Transducers" accepted at RV'23
ista-vamos/shamon
ista-vamos/vamos-common
Common pieces shared between repositories
ista-vamos/vamos-compiler
Compiler for vamos specifications
ista-vamos/vamos-hyper
VAMOS hypertrace support library
ista-vamos/vamos-monitors
A set of pre-defined monitors for VAMOS
ista-vamos/vamos-sources
Event sources for VAMOS
ista-vamos/sttt-experiments