creusot-rs/creusot
A deductive verifier for Rust that proves absence of panics, overflows, and assertion failures by translating code to the Why3 verification platform
- from
- Rust
- added
- 2026-10-10
- likes
- 0
Rust › Development tools > Static analysis: “A deductive verifier for Rust that proves absence of panics, overflows, and assertion failures by translating code to the Why3 verification platform”