nasa / ogma

git clone https://github.com/nasa/ogma.git

Generator of runtime monitors for flight and robotics applications.