About this scholarly article

2015 2nd International Symposium on Dependable Computing and Internet of Things (DCIT) - Garakabu2: An SMT-based Bounded Model Checker for HSTM Designs in ZIPC by Kong, Weiqiang; Ando, Takahiro; Yatsu, Hirokazu; Hisazumi, Kenji; Fukuda, Akira is a scholarly article available to read on EtoBox.

Author

Kong, Weiqiang; Ando, Takahiro; Yatsu, Hirokazu; Hisazumi, Kenji; Fukuda, Akira

Publisher

IEEE

Published

2015

Language

EN