How to install Spin Model Checker ( ispin ) Software in Windows 10

Описание

How to install Spin Model Checker Software in Windows 10

download spin646.exe : http://atominik.com/cOL
download iSpin.tcl : http://atominik.com/cPI
download activestate tcl to open ispin 32bit : http://atominik.com/cPw
activestate tcl 64 bit : http://atominik.com/cQT
download Graphviz to set dot.exe that is essential for atumata view

download a c compiler to set gcc.exe
and run your promela models on Spin.