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 (ICCSA Workshops, 2010)

Model Checking of Software Design in State Transition Matrix. - Tomohiro Shiraishi; Weiqiang Kong; Yuki Mizushima; Noriyuki Katahira; Michihiro Matsumoto; Masahiko Watanabe; Tetsuro Katayama; Akira Fukuda (Software Engineering Research and Practice, 2010)

Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. - Weiqiang Kong; Noriyuki Katahira; Masahiko Watanabe; Tetsuro Katayama; Kenji Hisazumi; Akira Fukuda (APSEC, 2011)

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 (ICCSA Workshops, 2011)

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 (IEICE Trans. Inf. Syst., 2011)