Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
-
Updated
Apr 27, 2024 - SWIG
Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
Monitoring hyperproperties with Multi-trace prefix transducers
Run time assertions with panics for Go
Prototype of a Multi-Model Predictive Runtime Monitor in Python
A Runtime Verification toolchain that uses a CSP model as its oracle, checked by FDR.
A lightweight runtime verification tool for Erlang programs
Rewriting Algorithm for Time Window Temporal Logic
Release snapshots of the Frama-C platform for source code analysis
A repo containing basic examples on usage of the arccore.Filter library.
Case study in monitoring a Solidity smart contract with a deontic logic specification language.
Repository with code and replication package for SIESTA, the Simple ImperativE SpecificaTion lAnguage, accepted for publication at ICST'2021
Useful patterns on advanced usage of the arccore.Filter library.
Pastime LTL for runtime verification.
Tool which implements an Incrementally Predictive Monitor, where the predictions are obtained by a model of the system learnt through Process Mining
Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
Tools to manage RV monitors created from HPL
An attempt at runtime verification of Ethereum smart contracts.
The bench is the main repo for projects that need pass/no pass calibration testing. It takes a physical inventory of script properties to determine if a build is possible.
RVPlan: Runtime Verification of Assumptions in Automated Planning
Add a description, image, and links to the runtime-verification topic page so that developers can more easily learn about it.
To associate your repository with the runtime-verification topic, visit your repo's landing page and select "manage topics."