WEKO3
アイテム
整数型変数を持つ並行システムに対する有界モデル検査手法
https://ipsj.ixsq.nii.ac.jp/records/70992
https://ipsj.ixsq.nii.ac.jp/records/70992eac2083f-ba55-4694-b9ac-c82fe6d251f1
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Kansai2010089.pdf (248.7 kB)
|
Copyright (c) 2010 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Branch(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-09-22 | |||||||
| タイトル | ||||||||
| タイトル | 整数型変数を持つ並行システムに対する有界モデル検査手法 | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 並列分散処理 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 大阪大学 | ||||||||
| 著者所属 | ||||||||
| 大阪大学 | ||||||||
| 著者所属 | ||||||||
| 大阪大学 | ||||||||
| 著者名 |
井上裕之
土屋達弘
菊野亨
× 井上裕之 土屋達弘 菊野亨
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | SMTソルバを利用した整数型変数を持つ並行システムに対する有界モデル検査手法を提案する．本研究では，従来の手法での数式と同程度の規模で，より多くの遷移を表現できるシステムの動作の式表現手法を導入し，その有効性を実験により示す． | |||||||
| 書誌情報 |
平成22年度情報処理学会関西支部支部大会講演論文集 巻 2010, 発行日 2010-09-22 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
