@hackage ogma-language-smv1.14.0
Ogma: Runtime Monitor translator: SMV Language Frontend
Installation
CustomDependencies (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 SMV Boolean expressions.