Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC

Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC'. Together they form a unique fingerprint.

Engineering & Materials Science