書誌事項
- タイトル別名
-
- An Efficient Method for Verification of Reactive System Specifications in Temporal Logic
- ジカン ロンリ ニ ヨル リアクティブ システム シヨウ ノ ケンショウ ノ コウリツカ
この論文をさがす
抄録
リアクティブシステムでは,停止せずに正しい応答動作をしつづけることが,システムセキュリティ上の最重要課題である.応答動作の仕様が多岐にわたり複雑化した場合,いかなる要求に対しても仕様を満たしながら応答しつづけることが原理的に不可能になる場合がある.この原因を解析するため,充足可能性や段階的充足可能性,強充足可能性など,仕様を満たすシステムが存在するための必要条件が,その判定アルゴリズムとともに提案されている.しかし既存のアルゴリズムでは,現実的な応用を考えた場合,その計算量が問題となっている.本稿では,仕様の充足可能性及び段階的充足可能性手続きを効率化する手法を提案し,その効果を実験によって確かめたことを報告する.
収録刊行物
-
- コンピュータ ソフトウェア
-
コンピュータ ソフトウェア 20 (3), 242-265, 2003
日本ソフトウェア科学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390282679715254272
-
- NII論文ID
- 110003743115
-
- NII書誌ID
- AN10075819
-
- NDL書誌ID
- 6650819
-
- ISSN
- 02896540
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDL
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可