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 

SPIN model checker with iSpin on ubuntu 14.04

Spin is a popular open-source software verification tool, used by thousands of people worldwide. The tool can be used for the formal verification of multi-threaded software applications.[Read More]

1. Download latest source code(Full distribution, with sources) from http://spinroot.com/spin/Src/index.html

2. Install yacc on your system 

sudo apt-get install byacc Tk8.5

3.Unpack the spin source code and compile.

gunzip *.tar.gz
tar -xf *.tar
cd Src*
make

4. If its compiled without error, then copy the executable into your system path. 

sudo cp spin /usr/local/bin

5. Check the correctness of your installation using version command

spin -V

6. Move to iSpin folder in spin source code and install ispin

cd ../iSpin
sudo sh install.sh

Now you can invoke ispin interface using 'ispin' command

Reference 

[1]. http://spinroot.com/spin/Man/README.html