■

・・・model checker?

SPIN Model Checker, The: Primer and Reference Manual

うーん・・・。なにしてくれるものなんでしょうか？
wikipedia見てもよくわかりません・・・orz
SPINモデルチェッカ - Wikipedia

本を買って勉強してみたいものの。
もはや破綻寸前の我が財政状況を鑑みるに厳しいものがありますが・・・。
冬休みの宿題用に購入すべきか見送るべきか・・・。

その前にまずはサイトにあるドキュメントを読んでいこうかなぁ・・・。
Spin - Formal Verification