A tool for reactive synthesis with monitor triggers.
-
Updated
Nov 10, 2023 - Python
A tool for reactive synthesis with monitor triggers.
Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
Monitoring hyperproperties with Multi-trace prefix transducers
Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
Clang plugin which fills structure pads to provoke buffer overflow errors
Run time assertions with panics for Go
Prototype of a Multi-Model Predictive Runtime Monitor in Python
Tools to manage RV monitors created from HPL
An attempt at runtime verification of Ethereum smart contracts.
Release snapshots of the Frama-C platform for source code analysis
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.
A lightweight runtime verification tool for Erlang programs
RVPlan: Runtime Verification of Assumptions in Automated Planning
Tools to enable Runtime Verification in ROS using HPL properties
A repo containing basic examples on usage of the arccore.Filter library.
a solidity runtime verification tool based on LTL.
Repository with code and replication package for SIESTA, the Simple ImperativE SpecificaTion lAnguage, accepted for publication at ICST'2021
Validating data acts as a gatekeeper, parsing them into meaningful data types adds valuable information to raw data
A Tool for Timed Patten Matching with Automata-Based Acceleration
Useful patterns on advanced usage of the arccore.Filter library.
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."