1.nasa / ogmaGenerator of runtime monitors for flight and robotics applications.assuranceautonomycfsembedded-systemsflight-softwarefprime+10 moreHaskellAPACHE-2.0588 total62 forks+15 starsfrom 573 · score 2.77