SPINモデル検査 : 検証モデリング技法 Model checking with SPIN

書誌事項

SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN

中島震著

近代科学社, 2008.4

タイトル別名

SPINモデル検査 : 検証モデリング技法

タイトル読み

SPIN モデル ケンサ : ケンショウ モデリング ギホウ

電子リソースにアクセスする 全1

大学図書館所蔵 件 / 61

この図書・雑誌をさがす

注記

参考文献: p225-231

内容説明・目次

内容説明

リソースには限界がある。技術者にとって大切なことは制約の中で目的とする記述を得る方法の習得である。本書はまさにこのようなモデリング技法について述べている。

目次

  • 第1章 モデル検査とは—自動検証とモデル検査法
  • 第2章 SPINを使ってみよう—Promelaの書き方とコマンドの使い方
  • 第3章 性質を表現する—正しさの基準
  • 第4章 対象を広げる—Promelaの実行規則
  • 第5章 仕組みを理解する—SPINの検証法
  • 第6章 ケーススタディ・1ソフトウェアデザインを検証する—状態遷移ダイアグラムの解析
  • 第7章 ケーススタディ・2モデル検査を使い分ける—Java並行プログラムの解析
  • 第8章 ケーススタディ・3組込みソフトウェアの解析に使う—システムソフトウェアへの適用
  • 第9章 ケーススタディ・4検査対象の大きさを適切に保つ—抽象化の方法
  • 第10章 ケーススタディ・5デザイン検証の実際を知る—分散コンポーネントの振舞い検証

「BOOKデータベース」 より

詳細情報

ページトップへ