A Formally Verified Buddy Memory Allocation Model.

Ke Jiang, David Sann, Yongwang Zhao, Shuanglong Kan, Yang Liu

Browse the full ICECCS paper archive.