Copilot-Language/copilot

@Copilot-Language

A stream-based runtime-verification framework for generating hard real-time C code.

↗ Open on GitHub

Stars

833

Forks

79

Language

Haskell

License

—

Last push

2 months ago

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

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.