Spinroot

A forum for Spin users

You are not logged in.

#1 Announcements » SpinRCP Version 3.1.1 » 2020-10-28 17:59:01

zmago
Replies: 0

Dear Spin and SpinRCP users,

SpinRCP Version 3.1.1 is now available on its website:

http://lms.uni-mb.si/spinrcp

In this version of the SpinRCP integrated development environment for the Spin model checker, some disclosed bugs in the previous version(s) have been fixed.

In the SpinRCP home folder, there is a SpinRCP.ini file, where an absolute path to the suitable Java virtual machine (JVM) must be entered, ensuring that it will be used instead of a default JVM on the target platform.

The SpinRCP website has been thoroughly updated. Instructions for downloading and installing SpinRCP for Windows, Linux, and macOS platforms are now written in much more detail.

A new feature of matching bracket highlighting has been introduced in Promela Editor. It is supported for the round, curly, and square brackets.

Detailed information of the SpinRCP Version 3.1.1 can be accessed by clicking the Release Notes label below the download buttons on

http://lms.uni-mb.si/spinrcp/Download

Please send your questions, comments, and bug reports regarding SpinRCP to my e-mail address:

zmago.brezocni[email protected]

Best regards,
Zmago Brezocnik

#2 Announcements » SpinRCP Version 3.1.0 » 2016-12-30 21:11:27

zmago
Replies: 0

Dear Spin and SpinRCP users,

SpinRCP Version 3.1.0 is now available on its website:

http://lms.uni-mb.si/spinrcp

In this version of the SpinRCP integrated development environment for the Spin model checker, some disclosed bugs in the previous version(s) are fixed. Also, several minor user interface improvements and help content corrections have been done.

Detailed release notes of the SpinRCP Version 3.1.0  can be accessed by clicking the Release Notes label below the download buttons on

http://lms.uni-mb.si/spinrcp/Download

Please send your questions, comments, and bug reports regarding SpinRCP to my e-mail address:

[email protected]

Best regards,
Zmago Brezocnik

#3 Announcements » SpinRCP Version 3.0.0 is now available » 2016-01-15 00:09:06

zmago
Replies: 0

Dear Spin and SpinRCP users,

SpinRCP Version 3.0.0 is now available at its website:

http://lms.uni-mb.si/spinrcp

This version of the SpinRCP integrated development environment for the Spin model checker
contains new functionalities including multiple switchable workspaces, a combinable single
step (statement by statement) and message step (message by message) replay through the
simulation run, simulation output filtering, support for simulation of models containing embedded
C-code with pan, support for Spin bitstate iterative verification with sequential runs and
Spin swarm verification with parallel runs of pan. Some disclosed bugs in the previous versions
have been fixed and the code robustness has been improved. Update details of the
SpinRCP Version 3.0.0  can be accessed by clicking the Release Notes below the download buttons at

http://lms.uni-mb.si/spinrcp/Download

Please send your questions, comments, and bug reports regarding SpinRCP to my e-mail address:

[email protected]


Best regards,

Zmago Brezocnik

#4 Announcements » SpinRCP » 2014-06-24 23:42:37

zmago
Replies: 0

Dear Spin users,

I wish to announce the freely available integrated development environment for the Spin model checker called SpinRCP. You can access it at the following website:

[url]http://lms.uni-mb.si/spinrcp[/url]

There you can find links to the required external software, download and installation instructions, SpinRCP release notes, a brief user guide through all functionalities, some references and answers to frequently asked questions.

SpinRCP is 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). The SpinRCP installation for another (older) operating system (e.g. Solaris, HP UX, AIX) and/or hardware architecture can be generated on request.

The first publicly released version of SpinRCP was Version 2.2.0 on 28th April 2014. Its latest version is 2.3.0 issued on 15th June 2014. New functionalities will be continuously added, the code improved and in particular it will offer support for the possible new features in upcoming distributions of Spin.

Please send your questions, comments, and bug reports regarding SpinRCP to my e-mail address:

[email][email protected][/email]

Best regards,
Zmago Brezocnik

Board footer

Powered by FluxBB