SPINモデル検査入門

ＳＰＩＮを学ぶための優れた入門書の日本語翻訳。徐々にカリキュラムの難度を上げながらＳＰＩＮを実際に動かしつつ、モデル記述やＳＰＩＮを用いた検証を支える考え方や概念まで、着実に身につけることができる書。