WEKO3
アイテム
情報制御システムに対するモジュラ検証と課題
https://ipsj.ixsq.nii.ac.jp/records/112694
https://ipsj.ixsq.nii.ac.jp/records/1126944439df0b-ddd1-42eb-9210-725ec6b9c465
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-WWS2015023.pdf (439.2 kB)
|
Copyright (c) 2015 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2015-01-15 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 情報制御システムに対するモジュラ検証と課題 | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | Modular Verification for Information Control System and its Problems | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 茨城工業高等専門学校 | ||||||||||||
| 著者所属 | ||||||||||||
| 茨城大学 | ||||||||||||
| 著者所属 | ||||||||||||
| 茨城大学 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| National Institute of Technology, Ibaraki College | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Ibaraki University | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Ibaraki University | ||||||||||||
| 著者名 |
小飼, 敬
× 小飼, 敬
× 宮島, 卓巳
× 上田, 賀一
|
|||||||||||
| 著者名(英) |
Kei, Kogai
× Kei, Kogai
× Takumi, Miyajima
× Yoshikazu, Ueda
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 実践的なモデルに対してモデル検査を適用する場合,状態爆発が発生する可能性が高い.本研究では,検査対象のシステムをいくつかのサデシステムに分割して検証するモデュラ検証の方法とその課題について述べる. | |||||||||||
| 論文抄録(英) | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | A model checking of a practical model might have state explosions since the scale of its model could be large. This study describes our approach, which divide an information control system into subsystems and verify the subsystems. | |||||||||||
| 書誌情報 |
ウィンターワークショップ2015・イン・宜野湾 論文集 巻 2015, p. 45-46, 発行日 2015-01-15 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
