![](/img/cover-not-exists.png)
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC
Kong, Weiqiang, Hou, Gang, Hu, Xiangpei, Ando, Takahiro, Hisazumi, Kenji, Fukuda, AkiraLanguage:
english
Journal:
Journal of Information Security and Applications
DOI:
10.1016/j.jisa.2016.08.001
Date:
September, 2016
File:
PDF, 3.58 MB
english, 2016