Towards Formal Verification of Dynamic Memory Allocator Properties Using BIP Framework. - Xiutai Lu; Yang Gao; Wensheng Guo; Fengbo Zhang; Xia Yang; Jun Wan (CSAE, 2021)