Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs

Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda

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

フィンガープリント 「Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Business & Economics

Engineering & Materials Science