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

Nicolas Marti Reynald Affeldt Akinori Yonezawa Formal Verification of the Heap Manager of an Operating System Using Separation Logic. 400-419 2006 conf/icfem/2006 ICFEM http://dx.doi.org/10.1007/11901433_22 db/conf/icfem/icfem2006.html#MartiAY06