| | NASA Copilot runtime verification (2019 / pdf) (copilot-language.github.io) |
| 1 point by awinter-py on Nov 24, 2022 | past |
|
| | Copilot: Realtime programming language and runtime verification framework (copilot-language.github.io) |
| 145 points by ducktective on Aug 25, 2022 | past | 63 comments |
|
| | A (Haskell DSL) stream language for generating hard Real-Time C code (copilot-language.github.io) |
| 4 points by zeronone on Oct 30, 2019 | past |
|
