Verification of the heap manager of an operating system using separation logic (2006)

by N Marti, R Affeldt, A Yonezawa
Venue:In Third workshop on Semantics, Program Analysis, and Computing Environments For Memory Management (SPACE 2006