先日の CEDEC のセミナーで NII の石川先生が勧めていらっしゃった書籍をさっそく買ってみました。タイトルどおり、SPIN というモデル検査ツールの本なのですが、SPIN のツールとしての使い方で終わっていないのがよいですね。簡単なモデル検査の概論から、S…