| 大会名称 |
|---|
| 2009年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2009 |
| 発行日 |
| 2009/8/20 |
| セッション番号 |
| 3B |
| セッション名 |
| モデル検査 |
| 講演日 |
| 2009/09/02 |
| 講演場所(会議室等) |
| B会場（9号館1F 912教室） |
| 講演番号 |
| B-012 |
| タイトル |
| SPINによる検証支援ツールの開発 |
| 著者名 |
| 野口 拓也, 小飼 敬, 滝沢 陽三, |
| キーワード |
| 形式手法, SPIN |
| 抄録 |
| ユーザがSPINのPromela記述を意識しないでモデル検査を行うことができるツールを開発した。 |
| 本文pdf |
| PDF download (93.1KB) |