Kani Rust Verifier Blog | The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.

Posts

Sep 22, 2022
Internship Projects 2022: Concrete Playback
Aug 17, 2022
Using the Kani Rust Verifier on Tokio Bytes
Jul 13, 2022
Using the Kani Rust Verifier on a Firecracker Example
Jun 1, 2022
Using the Kani Rust Verifier on a Rust Standard Library CVE
May 4, 2022
Announcing the Kani Rust Verifier Project