| Practical research group of Software Model checking |
Our research group is organized by members below, and continues attempting to apply Model checking
in actual development process, and collect examples and know-how from 2002. |
|
| Power Engineering R&D Center, Kansai Electric Power Co., Inc |
| Engineering Department, Melco Power Systems Corporation |
| FormalTech Co.,Ltd |
|
|
|
|
|
