Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency.

Ruize Tang, Minghua Wang, Xudong Sun, Lin Huang, Yu Huang, Xiaoxing Ma

Browse the full USENIX paper archive.