少し前にさわりだけ動かしてみたモデル検査ツールのSpinだけど、偶然別の記事を読んで再度興味を持った。 前の記事:形式手法（Formal Method）とSPIN - .h2oのお気楽日記きっかけとなったサイト：UMLとモデル検証 | オブジェクトの広場 そんなんでOSXで動か…