There are 3 repositories under runtime-verification topic.
A stream-based runtime-verification framework for generating hard real-time C code.
TypeScript please give us types.
Release snapshots of the Frama-C platform for source code analysis
LLVM (Low Level Virtual Machine) Guide. Learn all about the compiler infrastructure, which is designed for compile-time, link-time, run-time, and "idle-time" optimization of programs. Originally implemented for C/C++ , though, has a variety of front-ends, including Java, Python, etc.
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
ROSMonitoring: a Runtime Verification Framework for ROS
Runtime assertion checking based on Gospel specifications
Toolbox for software dependability engineering of artificial neural networks
Proof-of-concept tool for checking signal handlers for reentrancy issues.
A pure Python package to monitor formal specifications over temporal sequences
(DEPRECATED) Front-end of Copilot defining the user language.
MoonLight: a light-weight framework for runtime monitoring.
Convert LTL formulas into finite-state automata for monitoring
A prototype tool to provoke uninitilized data errors by filling stack frames with garbage in prologue
Scripts to apply code analyzers to Debian packages.
A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
The runtime monitoring tool for smart contracts business logic.
(DEPRECATED) Intermediate representation for Copilot.
A simple 5-minute checker which simulates OOM failures by returning NULL from malloc
A Tool for Runtime Monitoring and Verification of Self-adaptive Systems
Repository containing Appendix and Code for the paper "Learning what to Monitor: using Machine Learning to Improve Past STL Monitoring" published at IJCAI 2024.
Validating data acts as a gatekeeper, parsing them into meaningful data types adds valuable information to raw data
Tools to enable Runtime Verification in ROS using HPL properties
The main VAMOS repository
Tools to manage RV monitors created from HPL