The Kani Rust Verifier Project

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. Read more

Similar