Creusot is a deductive verifier for the Rust programming language

Formal verification tool for Rust

View Post on Scour ↗

More from creusot.rs on Scour.

Covered by 3 sources including Oxide Computer Company, sunshowers.io

Discussed on Hacker News