Copilot-Language/copilot

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

★ 840 Stars

⑂ 83 Forks

○ 840 Watchers

✖ 10 Issues

Haskell

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

Last push: 2d ago

Created:

↗ View on GitHub

Loading additional information…