Copilot-Language / copilot

A stream-based runtime-verification framework for generating hard real-time C code.

nasa / ogma

Generator of runtime monitors for flight and robotics applications.