| 講演名 | 2010/5/20 確率時間REGARの実装と評価(一般セッション) 清水 隆也, 高橋 正樹, 山根 智, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 確率時間REGAR(Probabilistic Timed Real-Example Guided Abstraction Refinement)とは確率リアルタイムシステムに対する,抽象化,精錬手法によるPTCTL(Probabilistic Timed Computation Tree Logic)のサブクラスによるモデル検査手法である.本研究報告ではこれを計算機上に実装し,その性能評価を行う. |
| 抄録(英) | Probabilistic Timed REGAR (Real-Example Guided Abstraction Refinement) is a subclass of PTCTL (Probabilistic Timed Computation Tree Logic) model checking method with predicate abstraction and refinement for probabilistic real time systems. In this report, We implement Probabilistic Timed REGAR on computer, and show it effective. |
| キーワード(和) | モデル検査 / PTCTL / 確率リアルタイムシステム / 確率時間REGAR |
| キーワード(英) | Model Checking / PTCTL / Probabilistic Real Time System / Probabilistic Timed REGAR |
| 資料番号 | KBSE2010-14,SS2010-14 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2010/5/20(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 確率時間REGARの実装と評価(一般セッション) |
| サブタイトル（和） | |
| タイトル（英） | Implementation and Evaluation of Probabilistic Timed Real-Example Guided Abstraction Refinement |
| サブタイトル（和） | |
| キーワード(1)（和/英） | モデル検査 / Model Checking |
| キーワード(2)（和/英） | PTCTL / PTCTL |
| キーワード(3)（和/英） | 確率リアルタイムシステム / Probabilistic Real Time System |
| キーワード(4)（和/英） | 確率時間REGAR / Probabilistic Timed REGAR |
| 第 1 著者 氏名（和/英） | 清水 隆也 / Takaya SHIMIZU |
| 第 1 著者 所属（和/英） | 金沢大学自然科学研究科 Kanazawa University |
| 第 2 著者 氏名（和/英） | 高橋 正樹 / Masaki TAKAHASHI |
| 第 2 著者 所属（和/英） | 金沢大学自然科学研究科 Kanazawa University |
| 第 3 著者 氏名（和/英） | 山根 智 / Satoshi YAMANE |
| 第 3 著者 所属（和/英） | 金沢大学自然科学研究科 Kanazawa University |
| 発表年月日 | 2010/5/20 |
| 資料番号 | KBSE2010-14,SS2010-14 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | 61 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |