Formal Verification of the Heap Manager of an Operating System Using Separation Logic.

Nicolas Marti, Reynald Affeldt, Akinori Yonezawa

Browse the full ICFEM paper archive.