二分決定グラフと時間不等式手法に基づく近似解法による実時間シンボリックモデルチェッキング検証
スポンサーリンク
概要
- 論文の詳細を見る
従来より, シンボリックモデルチェッキング検証の研究がなされている. しかし, 実時間システムのシンボリックモデルチェッキングは, PSPACE-completeであることが知られており, 困難な問題である. 本研究では, 近似解法によりシンボリックモデルチェッキングを実現する手法を提案し, 検証コストを削減する.
- 一般社団法人電子情報通信学会の論文
- 1997-03-06
著者
関連論文
- 実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価
- 無限列時間付きステートチャートによる並行システムの仕様記述と検証の手法
- BDDによるSpeed-Independent回路の形式的検証
- ハードリアルタイムシステムの実時間記号モデル検査
- 実時間分散ソフトウェアの可能性と公平性の検証
- 拡張リアルタイム時相論理による分散ソフトウェアの形式的検証
- 分散ソフトウェアのタイミング検証
- 対称性に基づく並行システムの記号モデル検査
- 二分決定グラフによる実時間システムのモデルチェッキング検証
- 二分決定グラフと時間不等式手法に基づく近似解法による実時間シンボリックモデルチェッキング検証
- リージョングラフを用いた時間オートマトンのシンボリックモデルチェッキング検証