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
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
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
(DEPRECATED) Intermediate representation for Copilot.
The runtime monitoring tool for smart contracts business logic.
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
Library 📝 that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime
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