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

Author(s)

Bibliographic Information

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

中島震著

近代科学社, 2008.4

Other Title

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

Title Transcription

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

Available at  / 61 libraries

Note

参考文献: p225-231

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

Page Top