Blog
Anything and everything about Kani: new features, case studies, verification efforts, and more. Subscribe via the Atom feed.
2026
2024
- Verifying Raw Pointer Arithmetic Operations
- Verifying Safety of Rust's CStr
- Safety of Methods for Numeric Primitive Types
- Function Contracts for Kani
2023
- Using Kani to Validate Security Boundaries in AWS Firecracker
- Turbocharging Rust Code Verification
- Introducing the Kani VS Code Extension
- How s2n-quic uses Kani to inspire confidence
- Writing Code with ChatGPT? Improve it with Kani.
- How Kani helped find bugs in Hifitime
- Kani Internship Projects 2022: Function Stubbing
- Checking Code Reachability and Sanity Checking Proof Harnesses with kani::cover
2022
- Easily verify your Rust in CI with Kani and Github Actions
- From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework
- Internship Projects 2022: Concrete Playback
- Using the Kani Rust Verifier on Tokio Bytes
- Using the Kani Rust Verifier on a Firecracker Example
- Using the Kani Rust Verifier on a Rust Standard Library CVE
- Announcing the Kani Rust Verifier Project