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
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Search this Book/Journal
Note
参考文献: p225-231
Description and Table of Contents
Description
リソースには限界がある。技術者にとって大切なことは制約の中で目的とする記述を得る方法の習得である。本書はまさにこのようなモデリング技法について述べている。
Table of Contents
- 第1章 モデル検査とは—自動検証とモデル検査法
- 第2章 SPINを使ってみよう—Promelaの書き方とコマンドの使い方
- 第3章 性質を表現する—正しさの基準
- 第4章 対象を広げる—Promelaの実行規則
- 第5章 仕組みを理解する—SPINの検証法
- 第6章 ケーススタディ・1ソフトウェアデザインを検証する—状態遷移ダイアグラムの解析
- 第7章 ケーススタディ・2モデル検査を使い分ける—Java並行プログラムの解析
- 第8章 ケーススタディ・3組込みソフトウェアの解析に使う—システムソフトウェアへの適用
- 第9章 ケーススタディ・4検査対象の大きさを適切に保つ—抽象化の方法
- 第10章 ケーススタディ・5デザイン検証の実際を知る—分散コンポーネントの振舞い検証
by "BOOK database"