VOOZH

URL: https://github.com/topics/runtime-verification

⇱ runtime-verification · GitHub Topics · GitHub

#

runtime-verification

Here are 72 public repositories matching this topic...

Copilot-Language / copilot

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

c haskell stream embedded-systems copilot requirements rv runtime-verification requirements-engineering runtime-monitoring runtime-monitoring-system runtime-assurance

Updated
Haskell

nasa / ogma

Generator of runtime monitors for flight and robotics applications.

robotics spacecraft embedded-systems ros assurance cfs robot-operating-system rv ros2 runtime-verification autonomy flight-software runtime-monitoring fprime runtime-monitoring-system space-ros

Updated
Haskell

akutruff / typescript-needs-types

TypeScript please give us types.

typescript schema strongly-typed runtime-verification

Updated

👁 LLVM-Guide

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.

debugger compiler llvm assembler clang build-tool clang-format clang-frontend compiler-design runtime-system llvm-clang ebpf-programs llvm-ir parallel-programming runtime-verification llvm-pass llvm-frontend compliers clang-toolchain mlir

Updated
C++

Frama-C / Frama-C-snapshot

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

c static-analysis ocaml formal-verification abstract-interpretation frama-c runtime-verification

Updated
OCaml

ltlfuzzer / LTL-Fuzzer

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

testing fuzzing testing-tools model-checking network-fuzzer model-checker test-oracles runtime-verification protocol-fuzzing

Updated
C

yugr / sortcheck

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

dynamic-analysis program-analysis qsort runtime-verification

Updated
C

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

ocaml specification runtime-verification verfication

Updated
OCaml

autonomy-and-verification-uol / ROSMonitoring

ROSMonitoring: a Runtime Verification Framework for ROS

ros runtime-verification

Updated
Python

doganulus / reelay

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

verification stream-processing header-only temporal-logic formal-methods assertion-library runtime-verification cyber-physical-systems system-verification

Updated
C++

chavacava / dbc4go

Design by Contract for Go

golang code-generation design-by-contract runtime-verification

Updated
Go

VeraBE / VeriMan

Analysis tool for Solidity smart contracts. Prototype.

testing monitoring ethereum blockchain ltl solidity runtime-verification temporal-properties

Updated
Python

dependable-ai / nn-dependability-kit

Toolbox for software dependability engineering of artificial neural networks

neural-network metrics static-analysis verification runtime-verification functional-safety

Updated
Jupyter Notebook

👁 clawsecure-openclaw-security

ClawSecure / clawsecure-openclaw-security

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

security-automation runtime-verification vulnerability-scanner malware-detection supply-chain-security ai-agent ai-agent-security owasp-asi prompt-injection-detection agentic-security openclaw openclaw-security ai-security-scanner ai-agent-audit security-clearance-api ai-skill-scanner openclaw-audit agent-integrity clawhavoc ai-agent-vulnerability

Updated

yugr / sighandlercheck

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

dynamic-analysis signal program-analysis signal-handler runtime-verification reentrancy

Updated
C

MoonLightSuite / moonlight

MoonLight: a light-weight framework for runtime monitoring.

runtime-verification automated-monitoring spatio-temporal-logic

Updated
Java

mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts business logic.

monitoring smart-contracts blockchain invariants runtime-verification runtime-monitoring smart-contracts-audit smart-contracts-security dynamic-condition-response dcr-graphs high-level-properties smart-contract-invariants

Updated
Jupyter Notebook

doganulus / python-monitors

A pure Python package to monitor formal specifications over temporal sequences

monitoring temporal-logic regular-expressions runtime-verification

Updated
Python

Copilot-Language / copilot-language

(DEPRECATED) Front-end of Copilot defining the user language.

c haskell streams embedded-systems embedded-c runtime-verification stream-programming

Updated
Haskell

jcp19 / SPIDER

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

distributed-systems testing-tools debugging-tools race-detection traces runtime-verification race-conditions race-detection-engines

Updated
Java

Improve this page

Add a description, image, and links to the runtime-verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the runtime-verification topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.