#

runtime-verification

Here are 5 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 Nov 8, 2025
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 Nov 23, 2025
Haskell

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 Mar 29, 2021
Haskell

Copilot-Language / copilot-core

(DEPRECATED) Intermediate representation for Copilot.

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

Updated Mar 29, 2021
Haskell

shaunazzopardi / ethereuem-runtime-verification

An attempt at runtime verification of Ethereum smart contracts.

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

Updated Jun 4, 2018
Haskell

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."