WEKO3
アイテム
確率時間CEGARの開発とその実証実験
https://ipsj.ixsq.nii.ac.jp/records/81615
https://ipsj.ixsq.nii.ac.jp/records/81615c49c63d2-d087-478c-80ae-a0717dc4b7ac
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO0502005.pdf (1.9 MB)
|
Copyright (c) 2012 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-03-30 | |||||||
| タイトル | ||||||||
| タイトル | 確率時間CEGARの開発とその実証実験 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Development and Experiments of Probabilistic Timed CEGAR | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 通常論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 金沢大学大学院自然科学研究科 | ||||||||
| 著者所属 | ||||||||
| 金沢大学大学院自然科学研究科 | ||||||||
| 著者所属 | ||||||||
| 金沢大学大学院自然科学研究科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Natural Science and Technology, Kanazawa University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Natural Science and Technology, Kanazawa University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Natural Science and Technology, Kanazawa University | ||||||||
| 著者名 |
清水, 隆也
× 清水, 隆也
|
|||||||
| 著者名(英) |
Takaya, Shimizu
× Takaya, Shimizu
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本論文では，確率時間オートマトンの到達可能性解析に述語抽象化と反例を用いた精錬の枠組み（CEGAR）を適用する手法を提案する．CEGARを用いることにより，組込システムのようなリアルタイム動作，確率動作を持つシステムに対する，効率的な自動検証が可能となる． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | In this paper, we present an efficient verification method for probabilistic timed automaton. This method based on predicate abstraction and refinement realizes effective automated verifications for real-time and probabilistic embedded systems. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 5, 号 2, p. 43-66, 発行日 2012-03-30 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
