産業技術総合研究所に感謝

先輩がインターンに行く前に、資料として産業技術総合研究所でモデル検査の講座を受けたときにもらった資料を借りる。
NuSMVの日本語資料はほとんど読んだことがなかったので、サンプルソースを見てほぼ独自読解してたわけなのだが、
非常にわかりやすかった。

そして、独自読解だったがほぼ予想通りのNuSMVの説明に嬉しくなった。
でも、コレをもっと早くに見せてくれていたらなんてことは言わない方向で・・・。