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

Dec 21, 2022
Easily verify your Rust in CI with Kani and Github Actions
Oct 27, 2022
From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework
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