#

rv

Here are 2 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 rv runtime-verification

Updated Mar 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 Mar 22, 2025
Haskell

Improve this page

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