Skip to content
Rust Search
← Browse conferences

Compile-time Deadlock Detection in Rust using Petri Nets

EuroRust
22:00 2090 views

What if your Rust code could be proven free of deadlocks—before you ever run it?

Player unavailable or embedding blocked? Use the YouTube link above.