Copilot-Language/copilot

@Copilot-Language

Un framework de verificación en tiempo de ejecución basado en flujos para generar código C de tiempo real estricto.

↗ Abrir en GitHub

Estrellas

833

Bifurcaciones

79

Lenguaje

Haskell

Licencia

—

Último push

hace 2 meses

Haskell stream c embedded-systems copilot haskell requirements runtime-monitoring runtime-monitoring-system runtime-verification rv requirements-engineering runtime-assurance

Aún no hay intel relacionado

Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.