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

by N Marti, R Affeldt, A Yonezawa
Venue:3rd SPACE Workshop