WEKO3
アイテム
検証パターンに注目した機械学習に基づくモデル検査手法の評価
https://ipsj.ixsq.nii.ac.jp/records/229638
https://ipsj.ixsq.nii.ac.jp/records/22963865f736c7-b86d-45ed-8ed7-b062cac4b032
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z85-5K-08.pdf (719.2 kB)
|
Copyright (c) 2023 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2023-02-16 | |||||||||
| タイトル | ||||||||||
| タイトル | 検証パターンに注目した機械学習に基づくモデル検査手法の評価 | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | ソフトウェア科学・工学 | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 早大 | ||||||||||
| 著者所属 | ||||||||||
| 早大 | ||||||||||
| 著者名 |
張, 超群
× 張, 超群
× 岸, 知二
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | モデル検査における状態爆発の問題を回避するために、機械学習を用いてモデル検査の結果を予測する手法が提案されている。われわれはこの手法に関し、性質の記述に用いられる検証パターンや機械学習のアルゴリズムが、予測精度に対してどのような影響を持つかを調べている。本稿では、それらの評価結果について報告する。To avoid the problem of state explosion in model checking, a method has been proposed to predict the results of model checking using machine learning. We are investigating the impact of the validation patterns and machine learning algorithms used to describe the properties on the prediction accuracy of this method. In this paper, we report the results of these evaluations. | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN00349328 | |||||||||
| 書誌情報 |
第85回全国大会講演論文集 巻 2023, 号 1, p. 217-218, 発行日 2023-02-16 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
