Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda. Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs. In 6th International Conference on Dependable Systems and Their Applications, DSA 2019, Harbin, China, January 3-6, 2020. pages 25-36, IEEE, 2019. [doi]
Abstract is missing.