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

Notes on use

Detailed bibliographic record

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

Search by Bookstore

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

C-RECS （Creative Repository of Electro-Communications）
Digital
You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
C-RECS （Creative Repository of Electro-Communications）

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 博士論文
Title: 深さ優先ヒューリスティック探索によるソフトウェアモデル検査効率化
Author/Editor: 前岡, 淳
Author Heading: 前岡, 淳マエオカ, ジュン
Alternative Title: Optimization of Software Model Checking with Depth-First Heuristic Search
Degree grantor/type: 電気通信大学
Date Granted: 2015-09-30
Dissertation Number: 甲第830号
Degree Type: 博士（工学）
Text Language Code: jpn
Target Audience: 一般
Note (General): 2015
Access Restrictions: インターネット公開
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 電気通信大学 : 電気通信大学学術機関リポジトリ