A Verified Specification of TLSF Memory Management Allocator Using State Monads.

Yu Zhang, Yongwang Zhao, David Sann, Lei Qiao, Jinkun Zhang

Browse the full SETTA paper archive.