SPIN model checker with iSpin on windows

1. Install supporting Software

Install gcc
Download cygwin setup file from https://cygwin.com/install.html and Install cygwin by double clicking on setup file.

Select gcc-c++ from package list

Look here for complete step
Then include 'c:\cygwin\bin' to PATH environment variable (https://www3.ntu.edu.sg/home/ehchua/programming/howto/Cygwin_HowTo.html)

Install TCL/tk software
Download the installation file from here  and install it.
Install graphviz 
Download latest graphviz setup file from here and install it.

2. Spin  and Ispin installation

• Download spin executable from http://spinroot.com/spin/Src/index.html (select Windows PC executable, iSpin, and documentation, but no sources) and unzip it. It contains executables and examples. 
• Select appropriate spin exe(include 64 and 32 bit) and rename into spin.exe.  
• Copy spin.exe and ispin.tcl to "c:\cygwin\bin'( Assume default installation drive is C)
• Create a shortcut for "c:\cygwin\bin\ispin.tcl".
• Now you can access spin gui using ispin shortcut.

Known Issues

1.gcc error

Solution

1. Open cygwin-terminal and create link for gcc-3 and gcc-4

cd /bin
ln gcc-3 gcc
ln gcc-4 gcc