ogma-language-copilot: Ogma: Runtime Monitor translator: Copilot Language Endpoints

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 Copilot monitors, a definition of Copilot structs, and a backend to generate and pretty print Copilot code.

Modules

[Index] [Quick Jump]

Downloads

• ogma-language-copilot-1.2.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• IvanPerez

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates