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

著者

書誌事項

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

中島震著

近代科学社, 2008.4

タイトル別名

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

タイトル読み

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

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

大学図書館所蔵 件 / 全61件

この図書・雑誌をさがす

注記

参考文献: p225-231

内容説明・目次

内容説明

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

目次

  • 第１章　モデル検査とは—自動検証とモデル検査法
  • 第２章　ＳＰＩＮを使ってみよう—Ｐｒｏｍｅｌａの書き方とコマンドの使い方
  • 第３章　性質を表現する—正しさの基準
  • 第４章　対象を広げる—Ｐｒｏｍｅｌａの実行規則
  • 第５章　仕組みを理解する—ＳＰＩＮの検証法
  • 第６章　ケーススタディ・１ソフトウェアデザインを検証する—状態遷移ダイアグラムの解析
  • 第７章　ケーススタディ・２モデル検査を使い分ける—Ｊａｖａ並行プログラムの解析
  • 第８章　ケーススタディ・３組込みソフトウェアの解析に使う—システムソフトウェアへの適用
  • 第９章　ケーススタディ・４検査対象の大きさを適切に保つ—抽象化の方法
  • 第１０章　ケーススタディ・５デザイン検証の実際を知る—分散コンポーネントの振舞い検証

「BOOKデータベース」 より

詳細情報

ページトップへ