Movatterモバイル変換

Skip to content

#

runtime-verification

Here are 68 public repositories matching this topic...

Language:All

Filter by language

All68 Python18 Haskell5 Java5 OCaml5 C4 C++4 JavaScript4 Jupyter Notebook3 Erlang2 Go2

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

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

UpdatedJan 8, 2026
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

UpdatedFeb 11, 2026
Haskell

akutruff /typescript-needs-types

TypeScript please give us types.

typescript schema strongly-typed runtime-verification

UpdatedMay 15, 2025

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

UpdatedJan 4, 2024
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

UpdatedOct 21, 2020
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

UpdatedApr 1, 2024
C

yugr /sortcheck

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

dynamic-analysis program-analysis qsort runtime-verification

UpdatedJan 25, 2025
C

ocaml-gospel /ortac

Runtime assertion checking based on Gospel specifications

ocaml specification runtime-verification verfication

UpdatedFeb 11, 2026
OCaml

autonomy-and-verification-uol /ROSMonitoring

ROSMonitoring: a Runtime Verification Framework for ROS

ros runtime-verification

UpdatedJan 20, 2026
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

UpdatedJan 3, 2026
C++

VeraBE /VeriMan

Analysis tool for Solidity smart contracts. Prototype.

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

UpdatedNov 7, 2023
Python

chavacava /dbc4go

Design by Contract for Go

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

UpdatedMar 31, 2025
Go

dependable-ai /nn-dependability-kit

Toolbox for software dependability engineering of artificial neural networks

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

UpdatedNov 22, 2022
Jupyter Notebook

yugr /sighandlercheck

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

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

UpdatedJun 6, 2020
C

MoonLightSuite /moonlight

MoonLight: a light-weight framework for runtime monitoring.

runtime-verification automated-monitoring spatio-temporal-logic

UpdatedJan 25, 2026
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

UpdatedDec 15, 2024
Jupyter Notebook

doganulus /python-monitors

A pure Python package to monitor formal specifications over temporal sequences

monitoring temporal-logic regular-expressions runtime-verification

UpdatedDec 10, 2019
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

UpdatedMar 29, 2021
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

UpdatedJan 4, 2022
Java

duncanatt /detecter

A runtime verification tool for Erlang systems

runtime-verification

UpdatedJan 18, 2024
Erlang

Improve this page

Add a description, image, and links to theruntime-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 theruntime-verification topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2026 Movatter.jp