The following publications are possibly variants of this publication:
- On Accelerating SMT-based Bounded Model Checking of HSTM DesignsWeiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi 0001, Hitoshi Ohsaki, Akira Fukuda. apsec 2012: 614-623 [doi]
- Interpolation-Based Multi-core Bounded Model Checking of HSTM DesignsKun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda. dsa 2020: 25-36 [doi]
- ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPCWeiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda. ica2 2016: 154-157 [doi]
- An SMT-Based Approach to Bounded Model Checking of Designs in State Transition MatrixWeiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda. ieicet, 94-D(5):946-957, 2011. [doi]
- Formal Verification of Communicating HSTM DesignsLeyuan Liu, Weiqiang Kong, Shijie Zhou, Zhiguang Qin, Akira Fukuda. IEEEcit 2012: 383-390 [doi]
- Modeling the Process of Learning Common Fraction Operation: Designing an Internet-Based Integrated Learning Environment for Knowledge ConstructionSiu Cheung Kong, Lam-for Kwok. ICCE 2002: 767-771