Kani Rust Verifier Blog
About

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

subscribe via RSS

Kani Rust Verifier Blog

  • 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.