SPIN インストール方法
このページでは，チュートリアル“モデル検査を用いたソフトウェアの形式検証”のための
Windows 用 SPIN システムのインストールと起動の方法をご説明します．なお，SPIN とその
インストールに関するより一般的な情報は，こちらやこちらをご覧下さい．
[インストール方法]
Windows 用 SPIN システムを快適に利用するためには，Cygwin，Tcl/Tk，XSPIN の 3 つの
システムをインストールする必要があります．以下のものをダウンロード & インストール
して下さい．なお，インストールには 100MB 程度の空きディスク容量が必要です．
- Cygwin インストーラ [ダウンロード]
ダウンロードしたファイルを実行してください．．途中インストールパッケージ
の選択のとき，Devel の下の gcc-core: C compiler のバイナリを追加選択してください．
- Windows 用 Tcl/Tk [ダウンロード]
得られたファイルを実行してください．あとは，基本的にインストーラの指示通り
です．
- XSPIN とドキュメントを含む，SPIN の Windows 用処理系 [ダウンロード]
展開して得られたディレクトリ自身 pc_spin421 を，ホームディレクトリ
（“C:\Documents and Settings\<ユーザ名>”など） に移して下さい．
[起動方法]
- スタートメニュー から Cygwin 起動
- Cygwin ウィンドウ内で，pc_spin421.zip の展開でできたディレクトリに移動
$ cd pc_spin421
- XSPIN の実行形式をインストール（これは，最初に 1 回だけやればいい）
$ cp xspin421.tcl /bin/xspin
- XSPIN を実行
$ xspin
Updated on November 15, 2004.