OSXでSpin（モデル検査ツール）を動かしてみる。

osx

少し前にさわりだけ動かしてみたモデル検査ツールのSpinだけど、偶然別の記事を読んで再度興味を持った。


前の記事:形式手法（Formal Method）とSPIN - .h2oのお気楽日記

きっかけとなったサイト：UMLとモデル検証 | オブジェクトの広場


そんなんでOSXで動かしてみようとしたところ、portであっさりインストールできてしまいそう。


せっかくソースコードを準備してきたのに．．．。

  • Portでインストール
$sudo port search Spin
nsping @0.8 (net)
    DNS ping

spin @5.2.2 (devel)
    The Spin model checker

spinner @1.2.4 (sysutils)
    Keep ssh and telnet connections from dropping due to inactivity

Found 3 ports.
$ sudo port install spin

うう、依存ライブラリのコンパイルにすごい時間がかかる。しかもまだ続いてるし今日はもう寝るかぁ。