A stream-based runtime-verification framework for generating hard real-time C code.
-
Updated
Dec 18, 2024 - Haskell
#
runtime-verification
Here are 58 public repositories matching this topic...
TypeScript please give us types.
-
Updated
Apr 2, 2024
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
Dec 24, 2024 - Haskell
Release snapshots of the Frama-C platform for source code analysis
-
Updated
Oct 21, 2020 - OCaml
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
Jan 4, 2024 - C++
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
Apr 1, 2024 - C
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
-
Updated
Dec 24, 2024 - C
Runtime assertion checking based on Gospel specifications
-
Updated
Dec 19, 2024 - OCaml
ROSMonitoring: a Runtime Verification Framework for ROS
-
Updated
Jul 26, 2024 - Python
Analysis tool for Solidity smart contracts. Prototype.
-
Updated
Nov 7, 2023 - Python
Toolbox for software dependability engineering of artificial neural networks
-
Updated
Nov 22, 2022 - Jupyter Notebook
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
Apr 6, 2024 - C++
Proof-of-concept tool for checking signal handlers for reentrancy issues.
-
Updated
Jun 6, 2020 - C
A pure Python package to monitor formal specifications over temporal sequences
-
Updated
Dec 10, 2019 - Python
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
Jan 4, 2022 - Java
(DEPRECATED) Front-end of Copilot defining the user language.
-
Updated
Mar 29, 2021 - Haskell
MoonLight: a light-weight framework for runtime monitoring.
-
Updated
Jun 2, 2024 - Java
Convert LTL formulas into finite-state automata for monitoring
-
Updated
Aug 12, 2018 - OCaml
A Tool for Timed Patten Matching with Automata-Based Acceleration
automata monitoring regular-expression data-streaming monitoring-tool runtime-verification formal-specification
-
Updated
Oct 18, 2024 - C++
Improve this page
Add a description, image, and links to the runtime-verification topic page so that developers can more easily learn about it.
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."