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
- ALLVM Tools☆56Updated 3 years ago
- ☆31Updated 2 years ago
- ☆89Updated 3 years ago
- custom type systems for Clang☆97Updated 9 years ago
- Public snapshots of "ACSL by Example"☆107Updated 3 years ago
- Linux kernel library functions formally verified.☆51Updated 4 years ago
- ☆183Updated 5 years ago
- Apps for running with the rumprun unikernel on seL4.☆33Updated last week
- A benchmark for C program verification☆15Updated last year
- ☆47Updated 2 years ago
- Verification of BPF JIT compilers☆54Updated last year
- ☆88Updated 2 years ago
- rmem public repo☆41Updated last week
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- ☆51Updated 9 years ago
- Formal verification of SecVisor, a secure hypervisor☆13Updated 11 years ago
- Network Semantics☆87Updated 6 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 3 months ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆29Updated 5 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- seL4 Device Driver Framework☆23Updated last year
- Tutorials for working with seL4 and/or CAmkES.☆54Updated 2 weeks ago
- Secure Virtual Architecture☆42Updated 5 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆39Updated 2 years ago
- The rewrite of TLAPM, the TLAPS proof managerUpdated 5 years ago
- The Rumprun unikernel and toolchain for various platforms☆10Updated 8 months ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated 2 weeks ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 3 years ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆82Updated 3 months ago