2 results found Sort:

Copilot-Language
copilot Copilot-Language
50
635
unknown
32
A stream-based runtime-verification framework for generating hard real-time C code.
c rv stream copilot haskell embedded-systems runtime-verification
Created 2015-06-09
3,096 commits to master branch, last one 20 days ago
nasa
ogma nasa
24
329
other
12
Generator of runtime monitors for flight and robotics applications.
rv cfs ros ros2 fprime autonomy robotics assurance space-ros spacecraft flight-software embedded-systems runtime-monitoring runtime-verification robot-operating-system runtime-monitoring-system
Created 2021-08-05
544 commits to develop branch, last one 6 days ago