kani-verifier (cargo): A bit-precise model checker for Rust.
Keywords: verification|model-checking|rust