cargo-check-deadlock 1.2.0

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