Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe. An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. In Bernady O. Apduhan, Osvaldo Gervasi, Andrés Iglesias, David Taniar, Marina L. Gavrilova, editors, Prodeedings of the 2010 International Conference on Computational Science and Its Applications, ICCSA 2010, Fukuoka, Japan, March 23-26, 2010. pages 231-238, IEEE, 2010. [doi]
Abstract is missing.