文献

J-GLOBAL ID：202102292157867359   整理番号：21A0673545

状態空間枝刈りに基づく並行ソフトウェアのCPNモデル検査方法【JST・京大機械翻訳】

CPN Model Checking Method of Concurrent Software Based on State Space Pruning

著者 (3件)： Sun Tao (College of Computer Science, Inner Mongolia University,Hohhot,China) ,  Yang Jing (College of Computer Science, Inner Mongolia University,Hohhot,China) ,  Zhong Wenjie (College of Computer Science, Inner Mongolia University,Hohhot,China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： TrustCom  ページ： 1390-1394  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： モデル検査を実行困難な状態爆発問題を解決するために,本論文は状態空間剪定アルゴリズムを提案した。特性遷移集合はASK-CTL式から抽出され,無関係な遷移集合は,検出すべき特性に依存しない挙動をデータ依存関係を通して得る。状態空間を単純化するために,アルゴリズムは,特性検査を変えない,無関係な遷移の同時発生を減少する。実験結果は,状態空間剪定アルゴリズムが状態空間の状態とアークの数を減らし,検証効率を改善することを示した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  簡素化 ,  *ソフトウェア ,  同時発生 ,  *モデル検査
準シソーラス用語： 状態空間 ,  状態爆発問題 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (5件)： 状態空間 ,  枝刈り ,  並行 ,  ソフトウェア ,  モデル検査