An SMT approach to bounded model checking of design in state transition matrix

Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe

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

2 Citations (Scopus)

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

Mathematics

Engineering & Materials Science