Spin

Spin preference page is used to set paths to external tools. Paths to the following external tools have to be set:

Spin: Spin is a core external tool for SpinRCP, therefore it is mandatory to set the path to Spin.

C compiler: Since Spin generates a verifier for each model being checked as C source code which has to be compiled to an executable code, we need an installed C compiler and have to set the path to it.

Java: A mandatory path to the Java Runtime Environment.

dot: A path to the Graphviz dot tool is necessary if you want to generate graphs of the processes and never claims.

If the PATH environment variable of the computer system includes paths to Spin, C compiler, Java, and dot, we don’t need to enter their absolute paths but just their names (e.g., spin, gcc, java, dot). For Spin and Java their default paths are preset to spin and java, respectively.

Paths with spaces are also allowed. SpinRCP recognizes such paths and encloses them in double quotes.