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]
@inproceedings{LiuZKHWF19,
title = {Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs},
author = {Kun Liu and Xiaozhen Zhang and Weiqiang Kong and Gang Hou and Masahiko Watanabe and Akira Fukuda},
year = {2019},
doi = {10.1109/DSA.2019.00013},
url = {https://doi.org/10.1109/DSA.2019.00013},
researchr = {https://researchr.org/publication/LiuZKHWF19},
cites = {0},
citedby = {0},
pages = {25-36},
booktitle = {6th International Conference on Dependable Systems and Their Applications, DSA 2019, Harbin, China, January 3-6, 2020},
publisher = {IEEE},
isbn = {978-1-7281-6057-3},
}