キーワード : 時相論理


BDIアーキテクチャにおけるコミットメント戦略を実現するための形式的検証手続き
櫟 粛之 高田 司郎 新出 尚之 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/06/01
Vol. J89-D  No. 6 ; pp. 1213-1224
論文種別:  論文
専門分野: ソフトウェア基礎,プログラム理論
キーワード: 
BDIアーキテクチャコミットメント戦略形式的検証時相論理
 あらまし | 本文:PDF(404.5KB)

時相論理の充足可能性判定器のための論理式生成法
関澤 俊弦 高井 利憲 田辺 良則 高橋 孝一 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4 ; pp. 642-650
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: 計算モデル
キーワード: 
時相論理2方向CTL充足可能性判定論理式生成自動生成
 あらまし | 本文:PDF(242.5KB)

実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価
山根 智 中村 一博 
誌名:   電子情報通信学会論文誌 D
発行日: 2003/04/01
Vol. J86-D1  No. 4 ; pp. 232-247
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
記号モデル検査実時間システム2分決定グラフ近似手法時相論理
 あらまし | 本文:PDF(757.4KB)

並行周期EFSMに対するパラメトリックモデル検査手法
森 亮憲 中田 明夫 東野 輝夫 
誌名:   電子情報通信学会論文誌 D
発行日: 2003/02/01
Vol. J86-D1  No. 2 ; pp. 75-87
論文種別:  特集論文 (LAシンポジウム(計算機科学基礎理論ワークショップ)論文小特集)
専門分野: 
キーワード: 
パラメトリックモデル検査実時間システム周期EFSM時相論理限定子消去
 あらまし | 本文:PDF(426.3KB)

マルチプロセッサシステムにおけるロールバックポイント評価法
米田 清光 松原 隆 古賀 義亮 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/08/25
Vol. J82-D1  No. 8 ; pp. 1071-1079
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
マルチプロセッサシステムロールバック手法ドミノ効果一貫性時相論理
 あらまし | 本文:PDF(475.4KB)