WEKO3
アイテム
MathSATを用いたsafe Time Petri Netの非有界モデル検査手法
https://ipsj.ixsq.nii.ac.jp/records/185304
https://ipsj.ixsq.nii.ac.jp/records/185304cbf16795-30d6-43cc-b495-b98a8a93cb34
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-WWS2018022.pdf (315.2 kB)
|
Copyright (c) 2018 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-01-11 | |||||||||||||||||
| タイトル | ||||||||||||||||||
| タイトル | MathSATを用いたsafe Time Petri Netの非有界モデル検査手法 | |||||||||||||||||
| 言語 | ||||||||||||||||||
| 言語 | 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 | ||||||||||||||||||
| 著者名 |
井川, 直
× 井川, 直
× 横川, 智教
× 佐藤, 洋一郎
× 有本, 和民
× 近藤, 真史
× 宮崎, 仁
|
|||||||||||||||||
| 論文抄録 | ||||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||||
| 内容記述 | 本論文では，TPN の時間制約を差分論理によって表現することで，充足可能性判定に基づく非有界モデル検査を高速化するための手法を提案する． | |||||||||||||||||
| 書誌情報 |
ウィンターワークショップ2018・イン・宮島 論文集 巻 2018, p. 44-45, 発行日 2018-01-11 |
|||||||||||||||||
| 出版者 | ||||||||||||||||||
| 言語 | ja | |||||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||||||
