uw-unsat / yggdrasilLinks
☆33Updated 3 years ago
Alternatives and similar repositories for yggdrasil
Users that are interested in yggdrasil are comparing it to the libraries listed below
Sorting:
- VeriBetrKV OSDI'20 artifact☆11Updated 5 years ago
- ☆46Updated 3 years ago
- Generic model checker for concurrent C programs (mirror repository)☆157Updated 2 weeks ago
- FSCQ is a certified file system written and proven in Coq☆249Updated 3 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…