Leyuan Liu, Weiqiang Kong, Shijie Zhou, Zhiguang Qin, Akira Fukuda. Formal Verification of Communicating HSTM Designs. In 12th IEEE International Conference on Computer and Information Technology, CIT 2012, Chengdu, Sichuan, China, October 27-29, 2012. pages 383-390, IEEE Computer Society, 2012. [doi]
Abstract is missing.