WEKO3
アイテム
補間に基づく時間ペトリネットの非有界モデル検査
https://ipsj.ixsq.nii.ac.jp/records/147540
https://ipsj.ixsq.nii.ac.jp/records/1475401c45ec06-e6eb-4d99-92ec-91da3b79f2fc
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-WWS2016105.pdf (213.0 kB)
|
Copyright (c) 2016 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2016-01-28 | |||||||||||||||||
| タイトル | ||||||||||||||||||
| タイトル | 補間に基づく時間ペトリネットの非有界モデル検査 | |||||||||||||||||
| タイトル | ||||||||||||||||||
| 言語 | en | |||||||||||||||||
| タイトル | Unbounded Model Checking of Time Petri Nets with Interpolation | |||||||||||||||||
| 言語 | ||||||||||||||||||
| 言語 | jpn | |||||||||||||||||
| キーワード | ||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||
| 主題 | 形式手法 | |||||||||||||||||
| 資源タイプ | ||||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||||||
| 資源タイプ | conference paper | |||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 岡山県立大学 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 岡山県立大学 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 岡山県立大学 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 岡山県立大学 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 川崎医療福祉大学 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 川崎医療福祉大学 | ||||||||||||||||||
| 著者所属(英) | ||||||||||||||||||
| en | ||||||||||||||||||
| Okayama Prefectural University | ||||||||||||||||||
| 著者所属(英) | ||||||||||||||||||
| en | ||||||||||||||||||
| Okayama Prefectural University | ||||||||||||||||||
| 著者所属(英) | ||||||||||||||||||
| en | ||||||||||||||||||
| Okayama Prefectural University | ||||||||||||||||||
| 著者所属(英) | ||||||||||||||||||
| en | ||||||||||||||||||
| Okayama Prefectural University | ||||||||||||||||||
| 著者所属(英) | ||||||||||||||||||
| en | ||||||||||||||||||
| Kawasaki University of Medical Welfare | ||||||||||||||||||
| 著者所属(英) | ||||||||||||||||||
| en | ||||||||||||||||||
| Kawasaki University of Medical Welfare | ||||||||||||||||||
| 著者名 |
井川, 直
× 井川, 直
× 横川, 智教
× 佐藤, 洋一郎
× 有本, 和民
× 近藤, 真史
× 宮崎, 仁
|
|||||||||||||||||
| 著者名(英) |
Nao, Igawa
× Nao, Igawa
× Tomoyuki, Yokogawa
× Yoichiro, Sato
× Kazutami, Arimoto
× Masafumi, Kondo
× Hisashi, Miyazaki
|
|||||||||||||||||
| 論文抄録 | ||||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||||
| 内容記述 | 本稿では，時間ペトリネットに補間に基づく非有界モデル検査手法を適用する枠組みを示す． | |||||||||||||||||
| 論文抄録(英) | ||||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||||
| 内容記述 | We proposed a method to apply unbounded model checking with interpolation for formal verification of Time petri nets. | |||||||||||||||||
| 書誌情報 |
ウィンターワークショップ2016・イン・逗子 論文集 巻 2016, p. 10-11, 発行日 2016-01-28 |
|||||||||||||||||
| 出版者 | ||||||||||||||||||
| 言語 | ja | |||||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||||||
