Projects in Awesome Lists tagged with runtime-verification

https://github.com/copilot-language/copilot

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

c copilot embedded-systems haskell runtime-verification rv stream

Last synced: 15 May 2025

https://github.com/akutruff/typescript-needs-types

TypeScript please give us types.

runtime-verification schema strongly-typed typescript

Last synced: 18 Jan 2026

https://github.com/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.

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

Last synced: 22 Apr 2025

https://github.com/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.

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

Last synced: 10 Apr 2025

https://github.com/yugr/sortcheck

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

dynamic-analysis program-analysis qsort runtime-verification

Last synced: 03 Oct 2025

https://github.com/doganulus/reelay

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

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

Last synced: 05 Apr 2025

https://github.com/yugr/sighandlercheck

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

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

Last synced: 08 Aug 2025

https://github.com/doganulus/python-monitors

A pure Python package to monitor formal specifications over temporal sequences

monitoring regular-expressions runtime-verification temporal-logic

Last synced: 05 Apr 2025

https://github.com/chavacava/dbc4go

Design by Contract for Go

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

Last synced: 26 Jul 2025

https://github.com/yugr/dirtyframe

A prototype tool to provoke uninitilized data errors by filling stack frames with garbage in prologue

buffer-overflow dynamic-analysis program-analysis runtime-verification

Last synced: 11 Apr 2025

https://github.com/maswag/monaa

A Tool for Timed Patten Matching with Automata-Based Acceleration

automata data-streaming formal-specification monitoring monitoring-tool regular-expression runtime-verification

Last synced: 18 Jul 2025

https://github.com/yugr/debian_pkg_test

Scripts to apply code analyzers to Debian packages.

debian dynamic-analysis pbuilder program-analysis runtime-verification

Last synced: 11 Apr 2025

https://github.com/yugr/dirtypad

Clang plugin which fills structure pads to provoke buffer overflow errors

buffer-overflow dynamic-analysis llvm program-analysis runtime-verification

Last synced: 11 Apr 2025

https://github.com/doganulus/reelay-codegen

A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.

code-generation data-stream formal-specification monitoring monitoring-tool regular-expression runtime-verification stream-processing temporal-data temporal-logic

Last synced: 05 Apr 2025

https://github.com/doganulus/timescales

A benchmark generator for Metric Temporal Logic (MTL) monitoring tools

benchmark-generation benchmark-suite monitoring runtime-monitoring runtime-verification temporal-logic

Last synced: 20 Aug 2025

https://github.com/yugr/failing-malloc

A simple 5-minute checker which simulates OOM failures by returning NULL from malloc

checker malloc runtime-verification

Last synced: 11 Apr 2025

https://github.com/astrohelm/metaforge

Library 📝 that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime

astrohelm checker dsl generator javascript json json-schema lightweight metadata metalanguage modular modular-design modules-architecture nodejs runtime-verification schema testing types validation zero-dependencies

Last synced: 15 Jun 2025

https://github.com/wangwilly/osu-cse-6341

Labs for programming languages

abstract-syntax-tree bash java parser runtime runtime-verification typechecker

Last synced: 02 Feb 2026

https://github.com/git-afsantos/hpl-rv

Tools to manage RV monitors created from HPL

code-generation runtime-verification safety-monitoring verification

Last synced: 25 Jul 2025

https://github.com/shaunazzopardi/ethereuem-runtime-verification

An attempt at runtime verification of Ethereum smart contracts.

ethereum ethereum-blockchain ethereum-contract formal-verification monitoring monitoring-engine runtime-verification smart-contracts sol solidity solidity-contracts

Last synced: 09 Sep 2025

https://github.com/itdojp/ae-framework

AI-enhanced development framework that turns natural language into formal specs and production-grade code with agentic pipelines and quality gates.

ai ai-agent ci-cd code-generation domain-driven-design formal-specification mcp model-based-testing open-policy-agent opentelemetry requirements-engineering runtime-verification ssot tdd

Last synced: 05 Oct 2025

https://github.com/viralpraxis/rspec-description_consistency

bdd rspec runtime-verification

Last synced: 11 Feb 2026

https://github.com/jimmymugendi/luxdev-week-4-boot-camp

This repo focuses on operations performed in python. Interview questions that data entusiast and practitoners should be aware of.

compounddataypes dictionaries listcomprehensions loops-and-iterations palindrome-checker runtime-verification stack

Last synced: 06 Mar 2025

https://github.com/ioncakephper/contract-shield-cli

A CLI tool that processes @pre, @post, and @invariant tags in functions, classes, and methods within a source file. It generates a modified version of the source code that automatically validates input conditions (@pre), result conditions (@post), and invariant conditions (@invariant).

automated-testing cli-tool code-instrumentation contracts-validation debugging-tools design-by-contract developer-tools formal-methods invariants-checking preconditions-postconditions program-verification programming-language-tools runtime-analysis runtime-verification secure-coding software-engineering source-code-analysis source-code-modification static-analysis verification-framework