GaloisInc / crucibleLinks
Crucible is a library for symbolic simulation of imperative programs
☆749Updated this week
Alternatives and similar repositories for crucible
Users that are interested in crucible are comparing it to the libraries listed below
Sorting:
- The Vellvm (Verified LLVM) coq development.☆443Updated this week
- Automated generation of provably secure, zero-copy parsers from format specifications☆289Updated 2 weeks ago
- SMACK Software Verifier and Verification Toolchain☆443Updated 6 months ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆275Updated 3 years ago
- SeaHorn Verification Framework☆460Updated 4 months ago
- A work-in-progress language and compiler for verified low-level programming☆314Updated 2 weeks ago
- Formal Reasoning About Programs☆704Updated last month
- Boogie☆558Updated 2 weeks ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆339Updated 8 years ago
- Research prototype tool for modular formal verification of C, Rust and Java programs