Spinroot

zmago

Member

Registered: 2014-05-02

Posts: 4

SpinRCP Version 3.1.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