TRustPN: Transforming Rust Source Code to Petri Nets for Checking Deadlocks.

Kaiwen Zhang, Guanjun Liu

Browse the full CoDIT paper archive.