「SPIN環境」の編集履歴(バックアップ)一覧に戻る
SPIN環境 - (2011/01/26 (水) 16:03:10) の編集履歴(バックアップ)
SPINの環境について
SPIN
- SPINを動かすには以下のものが必要
- spin.exe
- gcc.exe(Cコンパイラ)
- cygwin1.dll
- 本家サイトに行けば全部そろう
- Cygwinがインストールしてあれば楽
iSpin
- 本家が開発しているSPIN支援ツール
- xSpinの後継で、2010年12月に誕生
- それに伴いxSpinのサポートは終了らしい
- SPINの検証を楽にしてくれるツールのよう
- Promela記述を楽にはしてくれなさそう
- Editor部分はあるが、反例トレース用だと思う。Promelaをそこで書くものではなさそう
- したがって、Promela editorは別のを使うのが良い(今のところ)
- tcl/td(Active Tcl)のインストールが必要
xSpin
jSpin
- Javaで書かれたSPIN支援ツール
- 日本語が□になって打てない
- iSpinと同じでPromelaはあまり支援してくれない
promela-mode.el
- EmacsでPromelaを支援してくれるスクリプト
- ハイライトや自動インデント、括弧補完がある
- iSpinや何も設定してないテキストエディタでかくよりははるかに良い
- 自動インデントで若干の不満点
- 個人的にインデントはタブオンリーにしてほしい
- EclipseのプラグインでPromela/SPINを支援してくれる
- Promela記述に関してはハイライトやインデントなど補完してくれる
- SPINの検証もできるが動作がなぜか安定しない
- Promela editorとして使うのが良いかも
オススメ
- Emasc(promela-mode.el)で書いて、iSpinで検証が1番良いかもしれない