深さ優先ヒューリスティック探索によるソフトウェアモデル検査効率化

• 資料種別: 博士論文
• タイトル: 深さ優先ヒューリスティック探索によるソフトウェアモデル検査効率化
• 著者・編者: 前岡, 淳
• 著者標目: 前岡, 淳 マエオカ, ジュン
• 並列タイトル等: Optimization of Software Model Checking with Depth-First Heuristic Search
• 授与機関名: 電気通信大学
• 授与年月日: 2015-09-30
• 報告番号: 甲第830号
• 学位: 博士（工学）
• 本文の言語コード: jpn
• 対象利用者: 一般
• 一般注記: 2015
• オンライン閲覧公開範囲: インターネット公開
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 電気通信大学 : 電気通信大学学術機関リポジトリ

• 要約等: モデル検査技術は，対象とするモデルが取りうる全状態を網羅的に探索し，モデルが満たすべき性質への適合を調べることで，モデルの正しさを検証する技術である．近年では，実装コードそのものを扱うソフトウェアモデル検査技術が注目されている．本論文で扱うJava PathFinder (JPF) は，Java プ...