強連結成分の性質を用いたOWCTYモデル検査アルゴリズムの高速化

DOI Web Site 被引用文献1件
  • 川端 聡基
    早稲田大学理工学部コンピュータ・ネットワーク工学科
  • 小林 史佳
    早稲田大学理工学研究科情報・ネットワーク専攻
  • 上田 和紀
    早稲田大学理工学術院情報理工学科

書誌事項

タイトル別名
  • キョウ レンケツ セイブン ノ セイシツ オ モチイタ OWCTY モデル ケンサ アルゴリズム ノ コウソクカ

この論文をさがす

抄録

<p>モデル検査はグラフの網羅的探索を行う検証手法であり，高速化が求められている． 並列モデル検査手法であるOWCTYはエラーのないモデルで高速に動作する手法であるが，扱うグラフの特性を利用し切っているとは言えず高速化の余地がある．そこで，我々は強連結成分を利用した改良手法としてSCC-OWCTYを提案する．分散検証環境DiVinEを用いて既存の手法との比較を行い，SCC-OWCTYの有効性を検討する．</p>

収録刊行物

被引用文献 (1)*注記

もっと見る

関連プロジェクト

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ