| Papers in proceedings of Japanese symposiums |
| "Practical Problems in Application of Symbolic Model Checking to Software Development Process and Development of Support Software to SMV" |
The 3rd Symposium on Science and Technology for System Verification
Osaka, November 1, 2006 |
| Translation of paper (PDF:1544kByte) |
|
|
| "Practical knowledge for Software model checking" (in Japanese) |
The 4th symposium on Science and Technology for System Verification
Nagoya, November 7, 2006 |
|
|
| "Problems and Solutions for Software model checking from the viewpoint of Software development site" (in Japanese) |
| Embedded Systems Symposium 2007, Tokyo, October 18,2007 |
|
|
| "Development of Support Software for Symbolic Model Checking" (in Japanese) |
| Japan Symposium on Software Testing 2007 Tokyo, January 30,2007 |
|
|
| "Curriculums for Model Checking education to Software developing engineers" (in Japanese) |
The 3rd Symposium on Science and Technology for System Verification
Osaka, November 1, 2006 |
|
|
| "Application of Model Checking to Debug and Support to Modeling Work" (in Japanese) |
| Japan Symposium on Software Testing 2006 in Osaka, May 11,2006 |
|
|
| "Two-way Approach to Introduce Model Checking to Actual Software Developing Process and Case study" (in Japanese) |
| Japan Symposium on Software Testing 2006 in Osaka, May 11,2006 |
|
|
| "Model checking Application to Debug" (in Japanese) |
| Japan Symposium on Software Testing 2006 Tokyo, January 30,2006 |
|
|
| "Two-way Approach to Introduce Model Checking to Actual Software Developing Process" (in Japanese) |
| Japan Symposium on Software Testing 2006 Tokyo, January 30,2006 |
|
|
| "Activities to apply Model Checking to actual Software Development Process and Case study" (in Japanese) |
The 2nd Symposium on Science and Technology for System Verification
Osaka, October 20, 2005 |
|
|
| "In-Design Model Checking for Embedded Software" (in Japanese) |
| Japan Symposium on Software Testing 2004, Tokyo, January 27,2004 |
|
|
|
