Die offizielle Spin-Webpage findet sich [hier]. Source Code und Binaries lassen sich [hier] herunterladen.
Für Spin werden unter Win32 noch folgende Programme u.U. benötigt:

• Windows:
• Es werden folgende Programme benötigt:
• [cygwin + gcc]
• [Tcl/Tk]
• cygwin-Installer (setup.exe) starten und Standardauswahl+gcc-Pakete (unter Devel auswählen) herunterladen/installieren.
• Den Pfad zum Verzeichnis [cygwin]\bin in die PATH-Variable eintragen.
• pc_spin*.zip herunterladen.
• Die Datei spin*.exe nach [cygwin]\bin entpacken und in spin.exe umbenennen.
• Die Datei xspin*.tcl ebenfalls nach [cygwin]\bin entpacken und ggf. in xspin.tcl umbenennen.
• xspin.tcl mit einem Editor öffnen und in der Zeile 'exec wish c:/cygwin/bin/xspin -- $*' den Cygwin-Pfad entsprechend der eigenen Installation anpassen.
• ActiveTcl installieren.
• Linux:
• 'spin*.tar.gz' herunterladen und in ein Verzeichnis entpacken.
• 'make' im Verzeichnis 'Src*' ausführen.
• 'spin' in ein Verzeichnis im Suchpfad kopieren, z.B. '~/bin' oder '/usr/bin'.
• 'xspin*.tcl' in das entsprechende Verzeichnis kopieren und in 'xspin.tcl' umbenennen.
• Die oberste Zeile in 'xspin.tcl' in '#!/usr/bin/wish -f' ändern.
• Sollte Tcl/Tk nicht installiert sein, so findet sich unter obigem Link ebenfalls eine Linux-Version.

• xspin benutzt das Verzeichnis als Arbeitsverzeichnis, von welchem aus es aufgerufen wurde. Am besten daher für jede Promela-Datei ein eigenes Verzeichnis verwenden, und xspin aus diesem Verzeichnis heraus aufrufen. Dabei sicherstellen, dass man auch Schreibrechte in dem Verzeichnis besitzt.
• xspin benutzt per default Helvetica als Schrift im Textfenster. Wer lieber Courier verwendet, ändert die Zeile 'set HelvBig -Adobe-Helvetica-Medium-R-Normal--*-120-*-*-*-*-*-*' in 'set HelvBig -*-Courier-*-R-Normal--*-110-*' um.