@hackage / ogma-core

Ogma: Helper tool to interoperate between Copilot and other languages.

Latest1.13.0

About

Metadata

  • Last updated , by IvanPerez
  • License Apache-2.0

  • Maintained by: ivan.perezdominguez@nasa.gov

  • Lottery factor: 1

Links

Installation

Readme

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.