4日で学ぶモデル検査

朝というか昼ごろに起きて教授に会ったところ、モデル検査の本が出てると教えられる。
教授が持っていたので、少しだけお借りして中身を見る。

どうやら産業技術総合研究所システム検証研究センターが出版したらしく、日本語だったので読みやすかった。
取りあえずNusmvで例題をやってみて、Amazonで注文しておいた。