Tetsuro KATAYAMA


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 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5  pp. 946-957
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Model Checking
Keyword: 
state transition matrixbounded model checkinginvariant propertiessatisfiability modulo theories
 Summary | Full Text:PDF(433.7KB)

Extraction of Transformation Rules from UML Diagrams to SpecC
Tetsuro KATAYAMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/06/01
Vol. E88-D  No. 6  pp. 1126-1133
Type of Manuscript:  Special Section PAPER (Special Section on Software Engineering for Embedded Systems)
Category: 
Keyword: 
transformation rulesUML (unified modeling language)SpecCsystem level languagesVisualSpecembedded systemssystem LSI (large scale integration)
 Summary | Full Text:PDF(1.1MB)