Noriyuki Katahira

1B-4 Design and development of state transition matrix model checking tool Garakabu2.

Akira Fukuda, Masahiko Watanabe, Weiqiang Kong, 2010 .

Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking

Akira Fukuda, Tetsuro Katayama, Kenji Hisazumi, 2011, 2011 18th Asia-Pacific Software Engineering Conference.

An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix

Akira Fukuda, Tetsuro Katayama, Masahiko Watanabe, 2011, 2011 International Conference on Computational Science and Its Applications.

Model Checking of Software Design in State Transition Matrix

Tomohiro Shiraishi, Akira Fukuda, Tetsuro Katayama, 2010, Software Engineering Research and Practice.

Formal analysis of STM design with SAL infinite bounded model checker

Akira Fukuda, Masahiko Watanabe, Weiqiang Kong, 2010, 2010 The 12th International Conference on Advanced Communication Technology (ICACT).

An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix

Tomohiro Shiraishi, Akira Fukuda, Tetsuro Katayama, 2011, IEICE Trans. Inf. Syst..

An SMT Approach to Bounded Model Checking of Design in State Transition Matrix

Tomohiro Shiraishi, Akira Fukuda, Masahiko Watanabe, 2010, 2010 International Conference on Computational Science and Its Applications.