copilot
Runtime verification framework
A framework for generating hard real-time C code from simple specifications to ensure safety and correctness in embedded systems.
A stream-based runtime-verification framework for generating hard real-time C code.
660 stars
33 watching
57 forks
Language: Haskell
last commit: almost 2 years agoccopilotembedded-systemshaskellruntime-verificationrvstream
Related projects:
| Repository | Description | Stars |
|---|---|---|
 leepike/copilot | A language and toolset for generating hard real-time C code from a domain-specific stream language | 149 |
 ccob/bof.net | A .NET runtime framework for developing and executing malicious C code in a managed environment. | 682 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 444 |
 onqtam/rcrl | An interactive C++ compiler and runtime environment for rapid development and live coding | 413 |
 tuplanolla/cheat | Convenient unit testing framework for the C programming language | 170 |
 christophercrouzet/rexo | A single-file cross-platform unit testing framework for C/C++ with a polished API and granular control. | 28 |
 revsic/cpp-concurrency | A C++ concurrency implementation inspired by Golang's style | 15 |
 vittorioromeo/mettle | A C++14 unit test framework providing a toolbox of features for writing and running tests | 0 |
 osvvm/osvvmlibraries | Provides reusable and modular VHDL verification components for creating testbenches and verifying digital circuits. | 52 |
 jimporter/mettle | A C++20 unit testing framework providing a toolbox of features for writing tests | 122 |
 runtimecompiledcplusplus/runtimecompiledcplusplus | Enables developers to make and test changes to C++ code at runtime without requiring compilation. | 2,205 |
 imdea-software/fcsl-pcm | A formalisation of Partial Commutative Monoids (PCMs) for verification of concurrent programs. | 26 |
 rdaly525/coreir | Builds hardware descriptions into executable code using an LLVM-style compiler framework. | 101 |
 hackerfoo/poprc | A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation | 244 |
 openhwgroup/core-v-verif | Functional verification project for RISC-V cores | 458 |