分散検証環境DiVinEを用いた分散LTLモデル検査アルゴリズムの性能評価

• 渋谷, 健介

• 上田, 和紀

書誌事項

タイトル別名

• Performance evaluation of distributed LTL model checking algorithmsb y DiVinE

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第70回 (「情報爆発」時代に向けた新しいIT技術基盤), 107-108, 2008-03-13

詳細情報

• CRID: 1050574047110128000
• NII論文ID: 110006863901
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00138387/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles