4日で学ぶモデル検査 初級編 の商品レビュー

産業技術総合研究所(著者)

2011/08/15

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

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

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

よくこなれています。