FAQs


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 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), Mac OS X 32 bit (cocoa/x86), and Mac OS X 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 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 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
Is the old Eclipse Plug-in for Spin still available?


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
Is the st2msc tool still available?


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

Q
I am trying to run SpinRCP on Mac OS X 10.11 but getting the following warning: "To open "SpinRCP.app" you need to install the legacy Java SE 6 runtime." I am wondering if this is necessary because I already have Java 8 installed?


A
No, it is not. Such warnings are a known issue when running some applications under the latest versions of Mac OS X. To run SpinRCP, do not double-click the SpinRCP.app file but the SpinRCP file at the end of the following full path: /your_path_to_SpinRCP/SpinRCP.app/ Contents/MacOS/SpinRCP. Now the SpinRCP application normally starts by using your up-to-date Java version.

Q
Where can I find the configuration details of 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.


Please send your questions, comments, and bug reports regarding SpinRCP to the following e-mail address: zmago.brezocnik@um.si

Contact Information

Zmago Brezo─Źnik
UNIVERSITY OF MARIBOR
Faculty of Electrical Engineering
and Computer Science
Institute of Electronics and Telecommunications
Smetanova 17
SI-2000 Maribor
Slovenia, European Union (EU)
zmago.brezocnik@um.si

Website master

Lucija Brezo─Źnik
lucija.brezocnik@um.si