Formal Verification of a Rust-Based Buddy Physical Memory Allocator.

Shaojie Wang, Yuting Wang, Qianying Zhang, Weituo Dai, Tian'ao Xie, Shijun Zhao, Yongwang Zhao

Browse the full TASE paper archive.