termite2 / Termite
The Termite driver synthesis tool
☆32Updated 7 years ago
Alternatives and similar repositories for Termite:
Users that are interested in Termite are comparing it to the libraries listed below
- Prototype no-assurance reference OS personality built on seL4☆50Updated last month
- ALLVM Tools☆56Updated 3 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆30Updated 5 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- Tutorials for working with seL4 and/or CAmkES.☆54Updated this week
- Verification of BPF JIT compilers☆54Updated last year
- custom type systems for Clang☆97Updated 9 years ago
- Source for SibylFS model and test tools☆35Updated 4 years ago
- rmem public repo☆41Updated last month
- Formal verification of SecVisor, a secure hypervisor☆12Updated 12 years ago
- ☆31Updated 3 years ago
- ☆47Updated 3 years ago
- ☆88Updated 2 years ago
- An executable specification of the RISCV ISA in L3.☆42Updated 6 years ago
- Network Semantics☆87Updated 6 years ago
- ☆182Updated 5 years ago
- ☆52Updated 9 years ago
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆79Updated 3 weeks ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated 3 weeks ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM