On accelerating SMT-based bounded model checking of HSTM designs

Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Fingerprint Dive into the research topics of 'On accelerating SMT-based bounded model checking of HSTM designs'. Together they form a unique fingerprint.

Engineering & Materials Science