An SMT-based approach to bounded model checking of designs in state transition matrix

Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

研究成果: Contribution to journalArticle査読

10 被引用数 (Scopus)

フィンガープリント

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

Engineering & Materials Science