Formal Verification for Rust: Kani Demo

To run this demo, you need to install Kani:

cargo install --locked kani-verifier
cargo kani setup

License

Licensed under the terms of the GPL-3 or later.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
kani-example		kani-example
kani-loop		kani-loop
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE.md		LICENSE.md
README.md		README.md
rustfmt.toml		rustfmt.toml