cargo-check-deadlock (cargo): Detect deadlocks in Rust source code at compile time using Petri nets
Keywords: petri-net|deadlock-detection|rustc-plugin|model-checker|lost-signals|model-checking|rust