A stream-based runtime-verification framework for generating hard real-time C code.

Generator of runtime monitors for flight and robotics applications.

TypeScript please give us types.

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.

Release snapshots of the Frama-C platform for source code analysis

Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

Runtime assertion checking based on Gospel specifications

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

ROSMonitoring: a Runtime Verification Framework for ROS

Free OpenClaw security scanner. 3,000+ agents audited. 3-Layer Audit Protocol. OWASP ASI 10/10 coverage. AI agent integrity layer.

Design by Contract for Go

Toolbox for software dependability engineering of artificial neural networks

Analysis tool for Solidity smart contracts. Prototype.

The game dev arsenal built for AI agents. Empowering agents to use Godot with ease. Proven through real game production.

MoonLight: a light-weight framework for runtime monitoring.

Proof-of-concept tool for checking signal handlers for reentrancy issues.

The runtime monitoring tool for smart contracts business logic.

A pure Python package to monitor formal specifications over temporal sequences

Automated data race detection from a distributed trace via SMT constraint solving