| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-11-14 13:50 並列FBモデル検査における機械学習を援用した検証順序決定手法について ○岸 知二（早大）  KBSE2025-24 SC2025-26 |
|
| 抄録 | （和） | 我々はファミリーベース(FB)モデル検査において検証モデルを分割して検証のスケーラビリティを改善する手法の提案をした．分割されたモデル群を検証する際，その検証順序により性質を判断するための効率が変わりうる．そこで機械学習により検証性質の予測を行い，それに基づいて検証順序を決定する手法を検討している．本稿ではそのフィージビリティスタディとして行った例題への適用実験を紹介し，それに基づき手法の有効性や課題について議論する． |
| （英） | We proposed a method to improve the scalability of family-based (FB) mode checking by dividing the verification model into multiple models. When verifying the divided models, the efficiency of determining properties can vary depending on the verification order. We are examining a method that uses machine learning to determine the verification order. In this paper, as a feasibility study, we apply the method to an example and discuss the effectiveness and challenges. | |
| キーワード | （和） | モデル検査 / 機械学習 / 可変性モデル / / / / / |
| （英） | model checking / machine learning / variability model / / / / / | |
| 文献情報 | 信学技報, vol. 125, no. 253, KBSE2025-24, pp. 7-12, 2025年11月. | |
| 資料番号 | KBSE2025-24 | |
| 発行日 | 2025-11-07 (KBSE, SC) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | KBSE2025-24 SC2025-26 |
|
| 研究会情報 | |
| 研究会 | SC KBSE |
| 開催期間 | 2025-11-14 - 2025-11-15 |
| 開催地（和） | 情報通信交流館e-とぴあ・かがわ |
| 開催地（英） | Kagawa University, Saiwai-cho Campus |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2025-11-SC-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | 並列FBモデル検査における機械学習を援用した検証順序決定手法について |
| サブタイトル（和） | |
| タイトル（英） | A Machine Learning-Based Method for Determining Verification Order in Parallel FB Model Checking |
| サブタイトル（英） | |
| キーワード(1)（和/英） | モデル検査 / model checking |
| キーワード(2)（和/英） | 機械学習 / machine learning |
| キーワード(3)（和/英） | 可変性モデル / variability model |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 岸 知二 / Tomoji Kishi / キシ トモジ |
| 第1著者 所属（和/英） | 早稲田大学 (略称： 早大) Waseda University (略称： Waseda Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-11-14 13:50:00 |
| 発表時間 | 45分 |
| 申込先研究会 | KBSE |
| 資料番号 | KBSE2025-24, SC2025-26 |
| 巻番号（vol） | vol.125 |
| 号番号（no） | no.253(KBSE), no.254(SC) |
| ページ範囲 | pp.7-12 |
| ページ数 | 6 |
| 発行日 | 2025-11-07 (KBSE, SC) |
[研究会発表申込システムのトップページに戻る]