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

＜図書＞
SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
スピンモデルケンサ : ケンショウモデリングギホウ

責任表示	中島震著
データ種別	図書
出版情報	東京 : 近代科学社 , 2008.4
本文言語	日本語
大きさ	xiii, 238p ; 24cm
概要	リソースには限界がある。技術者にとって大切なことは制約の中で目的とする記述を得る方法の習得である。本書はまさにこのようなモデリング技法について述べている。
目次	第1章モデル検査とは—自動検証とモデル検査法第2章 SPINを使ってみよう—Promelaの書き方とコマンドの使い方第3章性質を表現する—正しさの基準第4章対象を広げる—Promelaの実行規則第5章仕組みを理解する—SPINの検証法第6章ケーススタディ・1ソフトウェアデザインを検証する—状態遷移ダイアグラムの解析第7章ケーススタディ・2モデル検査を使い分ける—Java並行プログラムの解析第8章ケーススタディ・3組込みソフトウェアの解析に使う—システムソフトウェアへの適用第9章ケーススタディ・4検査対象の大きさを適切に保つ—抽象化の方法第10章ケーススタディ・5デザイン検証の実際を知る—分散コンポーネントの振舞い検証

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図1F 開架	007.63/N 34	2008		026112008000085		予約・取寄			予約・取寄
		理系図1F 開架	007.63/N 34	2009		031112011002535		予約・取寄			予約・取寄