ogma-spec-1.14.0: Ogma: Runtime Monitor translator: JSON Frontend

# ogma-spec-1.14.0: Ogma: Runtime Monitor translator: JSON Frontend

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 an abstract representation of an Ogma specification.

Modules

ogma-spec-1.14.0

- Data
  Submodules
  - Data.OgmaSpec