ogma-core-1.7.0: Ogma: Helper tool to interoperate between Copilot and other languages.
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 package implements the internal commands of ogma.
Modules
ogma-core-1.7.0
- Command
- Data
- Language