おそらくこれは x64 関連の問題です。Spin サイトでコンパイルされた実行可能ファイルは Windows 用の x86 バージョンしか含まれていないため、私の学生の 1 人も x64 マシンで Spin に問題を抱えていました。私の Windows 8.1 の x86 インストールでは、実行可能ファイルは問題なく動作します。ベリファイア用のコードをコンパイルするには、MinGWをお勧めします (インストール ウィザードで「GNU C/C++ コンパイラ」と「Basic MinGW」のインストールを選択します)。これは私にとってはうまくいきます。
Spin を x64 マシンで実行するには、エミュレーターとしてCygwinが必要になる可能性があり、Linux システムの手順で説明されているように、 Spin ソースを最初からコンパイルします。
お役に立てれば ;）
注意: MinGW/MSYS を使用した Spin のコンパイルは、少なくとも私にとってはうまくいきませんでした。これは、Windows によって提供されていないネイティブ Linux 関数への呼び出しがいくつかあるためです。Cygwin は動作するはずですが、Cywin は (彼らの Web サイトによると) 「ネイティブ Windows アプリにシグナルや pty などの UNIX® 機能を魔法のように認識させる方法です。繰り返しますが、必要に応じてソースからアプリをビルドする必要があります。 Cygwin 機能の利点」であり、これが実際にここでの問題のようです。