N. Katahira

Model Checking of Software Design in State Transition Matrix

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

Table-based Software Designs : Bounded Model Checking and Counterexample Tracking

Weiqiang Kong, Akira Fukuda, T. Katayama, 2011 .

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

Akira Fukuda, Masahiko Watanabe, Weiqiang Kong, 2010 .

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..