Q

Is it necessary to have Eclipse IDE installed to use SpinRCP?

A

No. SpinRCP is implemented as a standalone product that has all required Eclipse plug-ins already integrated.

Q

Is the Graphviz dot tool necessary for using SpinRCP?

A

No. Basic functionalities of Spin within SpinRCP such as verification and simulation do not need the dot tool. Only the Automata View option is not feasible without the dot tool.

Q

Is it planned to also provide SpinRCP for other operating systems or hardware architectures?

A

SpinRCP is currently available for the following platforms: Windows 32 bit (win32/x86), Windows 64 bit (win32/x86_64), Linux 32 bit (gtk/x86), Linux 64 bit (gtk/x86_64), macOS 32 bit (cocoa/x86), and macOS 64 bit (cocoa/x86_64). If you need the SpinRCP installation for another (older) operating system (e.g. Solaris, HP UX, AIX) and/or hardware architecture, please let us know. We can probably generate an installation that will suit your platform.

Q

Is SpinRCP compatible with older Spin versions (before Spin Version 6.0.0) that have different linenumber/filename references?

A

Yes. SpinRCP is compatible with all Spin versions, including those before Spin Version 6.0.0 that have different linenumber/filename references. Of course, some options might not work with the older versions (e.g., the Automata View is feasible only since Spin Version 6.0.0).

Q

A

Yes. It is still available at http://lms.uni-mb.si/ep4s, but it is no longer supported. It has been superseded by SpinRCP. We strongly rocommend that you use SpinRCP instead.

Q

A

Yes. It is still available at http://lms.uni-mb.si/st2msc. SpinRCP uses a slightly modified integrated version of st2msc.

Q

When simulating a Promela model, I noticed that some messages are not displayed in MSC Viewer. What is wrong?

A

This problem is caused by a bug introduced in Spin Version 6.4.8. In some cases, printed lines of the simulation output were truncated. SpinRCP parses the Spin simulation output, and because there were errors, it could not display some messages in MSC Viewer. This bug was fixed in Spin Version 6.5.1.

Q

Where can I find the configuration details of the SpinRCP installation on my platform?

A

You can view SpinRCP installation details, including system properties, plug-in registry, user preferences, and current install configuration by clicking Help -> About SpinRCP -> Installation Details -> Configuration. SpinRCP Version 3.1.1 on Linux platforms does not support this functionality if an old Java 6 or 7 is used.

Q

On macOS, the Automata View does not work for some automata file formats. What is wrong?

A

Your Graphviz software has not been built with some optional capabilities and plug-ins. Try to reinstall Graphviz either using Homebrew or MacPorts. See DOWNLOAD to build Graphviz from source on macOS using Homebrew to include support for the most useful graphical formats. However, automata can always be created in a graphical format offered by your Graphviz installation and then, by using an external program, converted to the desired format.

Q

When I launch SpinRCP on macOS, an error window with the following alert appears: The SpinRCP executable launcher was unable to locate its companion shared library. What should I do?

A

Click OK and enter the following command in the terminal to delete the given attribute com.apple.quarantine
from SpinRCP application:
xattr -d com.apple.quarantine /Applications/SpinRCP3.1.1/SpinRCP.app