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.
Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
Monitoring hyperproperties with Multi-trace prefix transducers
Tools to manage RV monitors created from HPL
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
This repo focuses on operations performed in python. Interview questions that data entusiast and practitoners should be aware of.
An attempt at runtime verification of Ethereum smart contracts.
Repository containing Appendix and Code for the paper "Learning what to Monitor: using Machine Learning to Improve Past STL Monitoring" published at IJCAI 2024.
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
Tools to enable Runtime Verification in ROS using HPL properties
RVPlan: Runtime Verification of Assumptions in Automated Planning
Release snapshots of the Frama-C platform for source code analysis
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
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."