RustDocs Hub Browse third-party crates
THIRD-PARTY CRATE

kani-verifier

A bit-precise model checker for Rust.

Current version0.67.0
LicenseMIT OR Apache-2.0
Total downloads462,077
Last updated2026-01-16
Homepagehttps://github.com/model-checking/kani
Repositoryhttps://github.com/model-checking/kani
Documentationhttps://model-checking.github.io/kani/

Categories

Development tools

Keywords

model-checkingverification

View kani-verifier on crates.io →

RustDocs Hub renders this crate’s structured metadata only (name, description, downloads, version, license string, links, categories, keywords) per crates.io’s Data Access Policy. It does not re-host this crate’s README or source code — view the full README and source on crates.io or the repository link above.

Data as of 2026-07-25 (crates.io database dump, timestamp 2026-07-25T02:00:36Z). Source: crates.io · db-dump.tar.gz · methodology & corrections.