runtime-verification
There are 66 repositories under runtime-verification topic.
Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
nasa/ogma
Generator of runtime monitors for flight and robotics applications.
akutruff/typescript-needs-types
TypeScript please give us types.
mikeroyal/LLVM-Guide
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.
Frama-C/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
ltlfuzzer/LTL-Fuzzer
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
yugr/sortcheck
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
ocaml-gospel/ortac
Runtime assertion checking based on Gospel specifications
autonomy-and-verification-uol/ROSMonitoring
ROSMonitoring: a Runtime Verification Framework for ROS
doganulus/reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
VeraBE/VeriMan
Analysis tool for Solidity smart contracts. Prototype.
dependable-ai/nn-dependability-kit
Toolbox for software dependability engineering of artificial neural networks
chavacava/dbc4go
Design by Contract for Go
yugr/sighandlercheck
Proof-of-concept tool for checking signal handlers for reentrancy issues.
doganulus/python-monitors
A pure Python package to monitor formal specifications over temporal sequences
Copilot-Language/copilot-language
(DEPRECATED) Front-end of Copilot defining the user language.
duncanatt/detecter
A runtime verification tool for Erlang systems
jcp19/SPIDER
Automated data race detection from a distributed trace via SMT constraint solving
mojtaba-eshghie/HighGuard
The runtime monitoring tool for smart contracts business logic.
MoonLightSuite/moonlight
MoonLight: a light-weight framework for runtime monitoring.
MasWag/monaa
A Tool for Timed Patten Matching with Automata-Based Acceleration
nondeterministic/ltl3tools
Convert LTL formulas into finite-state automata for monitoring
yugr/DirtyFrame
A prototype tool to provoke uninitilized data errors by filling stack frames with garbage in prologue
doganulus/timescales
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
yugr/debian_pkg_test
Scripts to apply code analyzers to Debian packages.
yugr/DirtyPad
Clang plugin which fills structure pads to provoke buffer overflow errors
Copilot-Language/copilot-core
(DEPRECATED) Intermediate representation for Copilot.
doganulus/reelay-codegen
A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
yugr/failing-malloc
A simple 5-minute checker which simulates OOM failures by returning NULL from malloc
astrohelm/metaforge
Library 📝 that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime
davimonteiro/lotus-runtime
A Tool for Runtime Monitoring and Verification of Self-adaptive Systems
dSynMa/syMTri
A tool for reactive synthesis with monitor triggers.
ista-vamos/vamos
The main VAMOS repository
WangWilly/osu-cse-6341
Labs for programming languages
dslab-uniud/ppSTL-IJCAI2024
Repository containing Appendix and Code for the paper "Learning what to Monitor: using Machine Learning to Improve Past STL Monitoring" published at IJCAI 2024.
HAROS-framework/hpl-rv-ros
Tools to enable Runtime Verification in ROS using HPL properties