@hackage ogma-language-fret-reqs1.2.0

Ogma: Runtime Monitor translator: FRET Component Requirement DB 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 a frontend to read FRET Component Requirement Databases.