On accelerating SMT-based bounded model checking of HSTM designs

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

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

6 被引用数 (Scopus)

フィンガープリント 「On accelerating SMT-based bounded model checking of HSTM designs」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science