ogma

Generator of runtime monitors for flight and robotics applications.

GitHub
329 stars
12 watching
24 forks
Language: Haskell
last commit: 6 days ago
Linked from 1 awesome list

assuranceautonomycfsembedded-systemsflight-softwarefprimerobot-operating-systemroboticsrosros2runtime-monitoringruntime-monitoring-systemruntime-verificationrvspace-rosspacecraft

Backlinks from these awesome lists: