ogma-language-smv-1.12.0: Ogma: Runtime Monitor translator: SMV Language Frontend

# ogma-language-smv-1.12.0: Ogma: Runtime Monitor translator: SMV Language 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 SMV Boolean expressions.

Modules

ogma-language-smv-1.12.0

- Language
  Submodules
  - SMV
    Submodules
    - Language.SMV.AbsSMV
    - Language.SMV.LexSMV
    - Language.SMV.ParSMV
    - Language.SMV.PrintSMV
    - Language.SMV.Substitution