Kani: A Model Checker For Rust

Kani, a new formal verification tool, has been introduced for Rust, aiming to improve software safety through model checking.