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

Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

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

6 Citations (Scopus)

Fingerprint

Dive into the research topics of 'An SMT-based approach to bounded model checking of designs in communicating state transition matrix'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science