4日で学ぶモデル検査

• エヌ・ティー・エス (2006年7月1日発売)

感想・レビュー・書評

[kaizenさんの感想 · 2011年6月15日]

システム検証センタで開催された、４日間の訓練の教科書として用いられてきたものとのことです。
１日目は、手を動かすことに専念しているのがすばらしい。
セミナは、食事時間まえに、手を動かして成果が出ると、参加者の意欲すごく高くなりいい感じになることがしばしばです。
本書は、そういうあたりまえのことが、あたりまえとして書いているのですごいと思います。

モデル（模型）を作ることは、模擬試験（シミュレーション）をするためのことがあります。
また、模擬試験だけでなく、論理的に矛盾がないかを検査することも大切です。
形式手法を用いることにより、モデルの検査を行うのが本書の主要な役割のようです。

なんとか１日でこなそうと努力しています。

よくこなれています。