runtime-verification topic
Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
copilot
A stream-based runtime-verification framework for generating hard real-time C code.
typescript-needs-types
TypeScript please give us types.
copilot-language
(DEPRECATED) Front-end of Copilot defining the user language.
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 imple...
sighandlercheck
Proof-of-concept tool for checking signal handlers for reentrancy issues.
sortcheck
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
VeriMan
Analysis tool for Solidity smart contracts. Prototype.
SPIDER
Automated data race detection from a distributed trace via SMT constraint solving
reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.