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.
659 stars
33 watching
57 forks
Language: Haskell
last commit: 13 days ago ccopilotembedded-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. | 678 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 442 |
 onqtam/rcrl | An interactive C++ compiler and runtime environment for rapid development and live coding | 411 |
 tuplanolla/cheat | Convenient unit testing framework for the C programming language | 169 |
 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. | 51 |
 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,193 |
 imdea-software/fcsl-pcm | Provides formalisation of Partial Commutative Monoids (PCMs) for verification of pointer-manipulating sequential and 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 | 242 |
 openhwgroup/core-v-verif | Functional verification project for RISC-V cores | 446 |