RustMC : Automated Verification of Real-World Concurrent Rust.

Oliver Pearce, Julien Lange, Dan O'Keeffe

Browse the full FORTE paper archive.