@hackage / ogma-language-fret-cs

Ogma: Runtime Monitor translator: FRET Component Specification Frontend

Version Deprecated package1.1.0

About

Metadata

  • Last updated , by IvanPerez
  • License LicenseRef-OtherLicense

  • Maintained by: ivan.perezdominguez@nasa.gov

  • Lottery factor: 0

Links

Installation

This package has been deprecated in favour of

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 library contains a frontend to read FRET Component Specifications.