cargo-check-deadlock 1.0.2

Detect deadlocks in Rust source code at compile time using Petri nets
Documentation