@hackage ogma-language-cocospec1.6.0
Ogma: Runtime Monitor translator: CoCoSpec Language Frontend
Deprecated
Dependencies (2)
Dependents (3)
@hackage/ogma-core, @hackage/ogma-language-fret-cs, @hackage/ogma-language-fret-reqs
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 CoCoSpec Boolean expressions, used by the tool FRET to capture requirement specifications.