The Kani Rust Verifier aims to be a bit-precise model-checker for Rust.
Check out the Documentation for instructions on installing and running Kani.
See SECURITY for more information.
See Kani developer documentation.
Kani contains code from the Rust compiler. The rust compiler is primarily distributed under the terms of both the MIT license and the Apache License (Version 2.0), with portions covered by various BSD-like licenses.
See LICENSE-APACHE, LICENSE-MIT, and UPSTREAM-COPYRIGHT for details.
Kani is distributed under the terms of both the MIT license and the Apache License (Version 2.0).
See LICENSE-APACHE and LICENSE-MIT for details.