Copilot-Language/copilot

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

语言：Haskell · GitHub 星标：839 · Fork：82

话题：c · copilot · embedded-systems · haskell · requirements · requirements-engineering · runtime-assurance · runtime-monitoring

在 GitHub 上查看原仓库