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

Browse the full ICCSA paper archive.