カスタマーレビュー
おすすめ度：

---

日本語で読める本格的な解説書　　（2008-05-24）
近年、ソフトウエアの検証技術として注目されているモデル検査ツールSPINの本格的な解説書です。モデル記述言語Promelaの入門から、検証の内部的な仕組み、実システムへの応用まで幅広くカバーしています。ソフトウエアの上流工程での設計の検証（特に並列プロセスに関する部分）に興味を持たれている方には必携の本だと思います。いままでは日本語での情報が極端に不足していたので、この本でモデル検査に興味を持つ人が増える事を願っています。

---

SPINのセミナを受けて、処理系は動かしたことがあります。　　（2008-05-01）
SPINのセミナを受けて、処理系を動かしたことがあります。
Promeraは、そんなに難しいとは思いませんでした。
それでも、１からプログラムを書く自信はありません。
システムの記述をしたことがないので、SPINのプログラムの本を何冊か買いました。
これからがんばりますのでよろしくお願いします。