A forum for Spin users

You are not logged in.

#1 2016-12-30 21:11:27

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:


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


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

[email protected]

Best regards,
Zmago Brezocnik


Board footer

Powered by FluxBB