SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証 トップエスイー実践講座3

萩谷昌己【監修】, 吉岡信和, 青木利晃, 田原康之【著】

• 販売会社／発売会社: 近代科学社
• 発売年月日: 2008/09/30
• JAN: 9784764903548

商品レビュー

2012/03/11

形式手法の教育を行う場合に、受講生は全部読んでいる必要はないという命題をたててみました。

というのは、トップエスイー実践講座３では、「高度な数学的知識を習得して、現実的なシステムの仕様記述に利用することは容易でははい。」「モデル検査は、検証に必要な証明の作業を完全に自動的に行うため、上述の形式検証技術一般の問題点を解決できる。」とあることにもとづいています。

ただし、講師になる人間は、全部読んでいる必要があると感じました。

本書を読む前に、「四日で学ぶモデル検証」を実際に動かした方がよいと感じています。
自分では、本書も先に目を通そうとしたことがありましたが、めげていました。

「四日で学ぶモデル検証」をやってからは、少なくとも動作させたことがある部分は、
読み進むことができました。