Xiutai Lu, Yang Gao, Wensheng Guo, Fengbo Zhang, Xia Yang, Jun Wan. Towards Formal Verification of Dynamic Memory Allocator Properties Using BIP Framework. In Ali Emrouznejad, Jui-Sheng Rayson Chou, editors, CSAE 2021: The 5th International Conference on Computer Science and Application Engineering, Sanya, China, October 19 - 21, 2021. ACM, 2021. [doi]
Abstract is missing.