External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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]

Authors

Weiqiang Kong

This author has not been identified. Look up 'Weiqiang Kong' in Google

Gang Hou

This author has not been identified. Look up 'Gang Hou' in Google

Xiangpei Hu

This author has not been identified. Look up 'Xiangpei Hu' in Google

Takahiro Ando

This author has not been identified. Look up 'Takahiro Ando' in Google

Kenji Hisazumi

This author has not been identified. Look up 'Kenji Hisazumi' in Google

Akira Fukuda

This author has not been identified. Look up 'Akira Fukuda' in Google
runs on