Xu Lu, Zhenhua Duan, Cong Tian. Using Unified Model Checking to Verify Heaps. In T.-H. Hubert Chan, Minming Li, Lusheng Wang, editors, Combinatorial Optimization and Applications - 10th International Conference, COCOA 2016, Hong Kong, China, December 16-18, 2016, Proceedings. Volume 10043 of Lecture Notes in Computer Science, pages 735-743, Springer, 2016. [doi]
Abstract is missing.