Kani Rust Verifier. Contribute to model-checking/kani development by creating an account on GitHub.