Source: doc.rust-lang.org (std library reference) · crates.io database dump, 2026-07-25 (crates directory)Contact
RustDocs Hub Browse third-party crates
THIRD-PARTY CRATE

model

model-based testing for data structures, with linearizability checking

Current version0.1.2
LicenseMIT/Apache-2.0
Total downloads319,829
Last updated2019-01-05
Repositoryhttps://github.com/spacejam/model
Documentationhttps://docs.rs/model/

Keywords

deterministicmodel-checkingsimulationtesting

View model 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.