Xiutai Lu

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Formal Verification

Top Venues

Publications

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