Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda. Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC. Inf. Sec. Techn. Report, 31:61-74, 2016. [doi]
@article{KongHHAHF16,
title = {Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC},
author = {Weiqiang Kong and Gang Hou and Xiangpei Hu and Takahiro Ando and Kenji Hisazumi and Akira Fukuda},
year = {2016},
doi = {10.1016/j.jisa.2016.08.001},
url = {http://dx.doi.org/10.1016/j.jisa.2016.08.001},
researchr = {https://researchr.org/publication/KongHHAHF16},
cites = {0},
citedby = {0},
journal = {Inf. Sec. Techn. Report},
volume = {31},
pages = {61-74},
}