This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
LicenseRef-OtherLicense licensed by Ivan Perez, Alwyn Goodloe
Ogma is a tool to facilitate the integration of safe runtime monitors into
other systems. Ogma extends
Copilot, a high-level runtime
verification framework that generates hard real-time C99 code.
This library contains a frontend to read FRET Component Requirement Databases.