rust-secure-code/projects > Model checkers: https://github.com/rust-secure-code/projects#model-checkers https://github.com/rust-secure-code/projects#model-chec

rust-secure-code/projects > Model checkers: https://github.com/rust-secure-code/projects#model-checkers https://github.com/rust-secure-code/projects#model-checkers : Loom: https://docs.rs/loom/latest/loom/ https://docs.rs/loom/latest/loom/ : > Loom is a model checker for concurrent Rust code. It exhaustively explores the behaviors of code under the C11 memory model, which Rust inherits.