Beast code in Giters

ISTA-vamos's repositories

Quantitative Automata Kit

Language:C++200

The main VAMOS repository

Language:Makefile2 1 7

Implementation of shared-memory ring-buffers

Language:C1 10

Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.

Language:CNOASSERTION000

Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.

Language:SWIGNOASSERTION010

Library for the construction, manipulation and runtime verification of hypernode automata

Language:C++MIT02 19

Monitoring hyperproperties with Multi-trace prefix transducers

Language:PythonMIT01 5

Experiments from the paper "Monitoring Hyperproperties With Prefix Transducers" accepted at RV'23

Language:C++MIT010

Language:SWIG02 17

Common pieces shared between repositories

Language:Python000

Compiler for vamos specifications

Language:Python000

VAMOS hypertrace support library

Language:C++MIT010

A set of pre-defined monitors for VAMOS

Language:C000

Event sources for VAMOS

Language:C01 1

Language:SWIGNOASSERTION000