文献

J-GLOBAL ID：201002250922018803   整理番号：10A0659306

確率時間REGARの実装と評価

Implementation and Evaluation of Probabilistic Timed Real-Example Guided Abstraction Refinement

著者 (3件)： 清水隆也 (金沢大) ,  高橋正樹 (金沢大) ,  山根智 (金沢大)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 110  号： 61(KBSE2010 1-15)  ページ： 81-86  発行年： 2010年05月20日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 確率時間REGAR(Probabilistic Timed Real-Example Guided Abstraction Refinement)とは確率リアルタイムシステムに対する,抽象化,精錬手法によるPTCTL(Probabilistic Timed Computation Tree Logic)のサブクラスによるモデル検査手法である。本研究報告ではこれを計算機上に実装し,その性能評価を行う。(著者抄録)

シソーラス用語： 実時間処理 ,  *確率モデル ,  *モデル検査 ,  抽象 ,  実装設計 ,  性能評価 ,  *確率オートマトン ,  意味論 ,  評価試験
準シソーラス用語： 抽象化

分類 (3件)： システム・制御理論一般  (IA02010H) ,  計算理論  (JB02000A) ,  オートマトン理論  (JB04000O)

タイトルに関連する用語 (3件)： 確率 ,  実装 ,  評価