WEKO3
アイテム
情報制御システムのモデル検査における状態爆発対策と課題
https://ipsj.ixsq.nii.ac.jp/records/97900
https://ipsj.ixsq.nii.ac.jp/records/97900646045d4-da67-4b9d-8599-643449121760
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-WWS2014022.pdf (204.6 kB)
|
Copyright (c) 2014 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2014-01-16 | |||||||
| タイトル | ||||||||
| タイトル | 情報制御システムのモデル検査における状態爆発対策と課題 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Counterplan for state-explosion in model checking for Information Control System | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 形式手法 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 茨城大学 | ||||||||
| 著者所属 | ||||||||
| 茨城工業高等専門学校 | ||||||||
| 著者所属 | ||||||||
| 茨城大学 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Ibaraki University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Ibaraki National College of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Ibaraki University | ||||||||
| 著者名 |
小山, 恭平
小飼, 敬
上田, 賀一
× 小山, 恭平 小飼, 敬 上田, 賀一
|
|||||||
| 著者名(英) |
Kyohei, Oyama
Kei, Kogai
Yoshikazu, Ueday
× Kyohei, Oyama Kei, Kogai Yoshikazu, Ueday
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | モデル検査において，システムを抽象化せずにモデル化すると，多くの場合，状態爆発が生じる．本研究では，情報制御システムを対象としたモデル検査の状態爆発を防ぐために，システムの状態空間から検査項目と関係する範囲のみを探索する手法を検討している． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | In order to prevent the state explosion of model checking in information control systems, this study has investigated a method of searching only the range associated with the check items in the state space of the system． | |||||||
| 書誌情報 |
ウィンターワークショップ2014・イン・大洗 論文集 巻 2014, p. 43-44, 発行日 2014-01-16 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
