2 results found Sort:

Copilot-Language
copilot Copilot-Language
55
658
unknown
33
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,144 commits to master branch, last one 8 days ago
nasa
ogma nasa
25
335
other
13
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 about a month ago