SpinRCP needs the following external software:

• C compiler: On Unix/Linux/macOS platforms, a C compiler (gcc or an equivalent) is already installed. For the Windows PC platforms, it is recommended to install the cygwin tool available at http://www.cygwin.com/. It contains C compiler, C preprocessor and all other needed libraries to compile Spin itself from its sources on a PC.
• Spin: Spin home page is located at http://spinroot.com/. Starting in January 2019, the most recent version of the Spin source and binary distribution is maintained on https://github.com/nimble-code/Spin. For all platforms, the preferred way for installing Spin is to compile the source Spin code. Download and unzip the most recent version of Spin. In the command line, move to the Src directory of the Spin distribution package. Obtain the Spin executable by the following command
  make -f makefile
  and copy the executable to an appropriate place in your platform (e.g., Windows: C:\spin, Linux: /usr/bin, macOS: /usr/local/bin). Since Spin generates a verifier for each model being checked as C source code that has to be compiled to executable code, the same C compiler should be used both for compiling the C source code of a model and Spin itself.
• Java: SpinRCP requires that a suitable Java SE Development Kit (JDK) or Java SE Runtime Environment (JRE) is installed on the target platform. Note that on more recent versions of the Mac OS, a full JDK needs to be installed. The suitable Java versions for SpinRCP are as follows:
  Windows and Linux: any Java version 8, 7, or 6;
  macOS: for SpinRCP Version 3.1.1 any Java version 8, for older SpinRCP versions any Java version 8 up to including Java 8u151, any Java version 7 or 6.
  For all platforms the most recent suitable Java version 8 is preferred.
  It is available at https://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html.
  IMPORTANT: You must enter the absolute path to the executable Java or JVM in the SpinRCP.ini file in step 2 of the platform-specific SpinRCP installation procedure shown below!
• dot: dot is a directed graph visualization tool developed by Graphviz. It is used for drawing automata that represent processes in the Promela model and never claims derived from the properties of a model to be verified. The tool is available at https://www.graphviz.org/download/, either as an executable or a source code package. The recommended installation method for individual platforms is as follows:
  Windows: Download and install the most recent stable release of the executable package as a .zip file from https://www2.graphviz.org/Packages/stable/windows/10/msbuild/Release/Win32/.
  Linux: Download and unpack the latest stable release of the graphviz source package. The installation process requires the following commands:
  ./configure
  make
  make install
  macOS: Complete installation of Graphviz on macOS is more demanding. It may be simplified by a Homebrew software package management system. Building Graphviz from source on macOS using Homebrew requires installation steps described at https://medium.com/@scrossoracle/building-graphviz-from-source-on-macos-b6a846d73949 to include support of at least the following graphic formats: dot, fig, gif, pdf, png, and svg. See FAQ.

Linux (gtk/x86, gtk/x86_64)

1. Click the Linux download button above. SpinRCP installation folder is contained in a zip file titled SpinRCPxyz-linux64.zip and SpinRCPxyz-linux32.zip for 64-bit and 32-bit platform, respectively, where xyz represents the version of SpinRCP. Select the most recent version, download and unzip it to your ~/Downloads folder. The Spin installation folder titled SpinRCPx.y.z (e.g., SpinRCP3.1.1 for Spin Version 3.1.1) appears there. In the following, we assume the installation of SpinRCP Version 3.1.1.

2. Specify the Java version that will be used to run SpinRCP. First, find out which versions of Java are installed on your Linux platform by invoking the following terminal command:
   sudo update-alternatives --config java
   
   Let us suppose that the following list is produced:
   
   There are 3 choices for the alternative java (providing /usr/bin/java).
   
   Selection Path Priority Status
   ------------------------------------------------------------
   0 /usr/lib/jvm/java-11-openjdk-amd64/bin/java 1111 auto mode
   1 /usr/lib/jvm/java-11-openjdk-amd64/bin/java 1111 manual mode
   2 /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java 1081 manual mode
   * 3 /usr/lib/jvm/jdk-13.0.1/bin/java 2 manual mode
   
   Press <enter> to keep the current choice[*], or type selection number:
   
   There is one Java Virtual Machine (JVM) out of three that is suitable to run SpinRCP3.1.1 (Java 8). If there would be none, you should install one. Open the existing empty file SpinRCP.ini in folder ~/Downloads/SpinRCP3.1.1/ and enter the absolute path to the selected Java executable at the very beginning of the file as follows:
   -vm
   /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java
   
   The -vm option and its value (the path) must be on separate lines and written without any space or Tab at the beginning of a line. Specifying a JVM for SpinRCP to run on ensures that SpinRCP will run on this specific JVM, regardless of the system's default JVM. If you run SpinRCP on an unsuitable JVM, the SpinRCP error window with the text An error occurred. appears after a click on the OK button in the first SpinRCP dialog window.

3. Run SpinRCP by a double click on the executable icon. If the error window with the text
   Could not display "SpinRCP".
   There is no application installed for "executable" files.
   Do you want to search for an application to open this file?
   appears, click No button and enter the following command in the terminal to give SpinRCP the execution permissions:
   chmod +x ~/Downloads/SpinRCP3.1.1/SpinRCP
   
   or simply right-click on executable SpinRCP, click Properties, choose the tab Permissions, and check the small square Allow executing file as program.

Now you can move the SpinRCP3.1.1 folder to an appropriate place in your system, e.g., for system-wide use to folder /usr/local/share with the following terminal command: sudo mv ~/Downloads/SpinRCP3.1.1 /usr/local/share.


4. Finally, you can add the SpinRCP application icon to the Unity launcher and run SpinRCP simply by a double click on its icon.