Spinインストール

Spin

概要

（ry

バージョン

Ubuntu 11.04
Spin 6.2

インストール

Spinインストール

公式HP＠Spin - Formal Verification
よりUnix版ダウンロード

tarボールなので解凍

cd Spin/Src6.2.1
make
yacc -v -d spin.y; cc -o spin *.c

※ yaccがデフォルトでインストールされていなかったので、Ubuntuのソフトウェアセンターから「YACC互換なパーサジェネレータ(bison)」をインストールした。

spinの実行バイナリが出来たので、適当なフォルダに移動して ln -s やって終了。

Eclipse Pluginインストール

プラグイン：http://matrix.uni-mb.si/fileadmin/datoteke/znanost/orodja/ep4s/update-site/
全部ダウンロードする。
下のようなフォルダ構成にして、Eclipseのdropinsフォルダに入れる。

spin6
 |-artifacts.xml
 |-content.xml
 |-site.xml
 |-plugins
 |  |-org.um.feri.spin_1.0.4.jar
 |-features
    |-org.um.feri.spin.feature_1.0.4.jar

Eclipse動作確認

  • プロジェクト生成（General -> Projectを選択）
  • パースペクティブ追加（Window -> Open Perspective から Spinを選択）
  • パースペクティブをSpinに変更
  • spinウィザード生成（New -> Other から Spinを選択）
  • 次を入力（何をやっているのかは善く分からない）
#define msgtype 33

chan name = [0] of { byte, byte };

proctype A() {
 name!msgtype(123);
 name!msgtype(121);
}

proctype B() {
	byte state;
	name?msgtype(state)
}

init {
	atomic{ run A(); run B() }
}

入力後、[Run spin]か[Run spin verbose]ボタンを押すと、コンソールに何かしらの実行結果が出る。
とりあえず、syntax checkでOKが出るからインストールは出来ているようである。

参考リンク

  1. Eclipseプラグインインストール方法： ECLIPSE PLUG-IN FOR SPIN 
  2. プログラム参考元ppt：http://www.google.co.jp/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0CKoBEBYwAA&url=http%3A%2F%2Fwww.cs.toronto.edu%2F~chechik%2Fcourses07%2Fcsc2108%2FLectures%2FSPINlecture.ppt&ei=7iu-T8WREsyamQXG5_As&usg=AFQjCNEZ6j3xAR-2oz8Kg3Kbaxh-7UemEQ