Verification of multi-linked heaps

Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck. Verification of multi-linked heaps. J. Comput. Syst. Sci., 78(3):853-876, 2012. [doi]

Abstract

Abstract is missing.