A forum for Spin users

You are not logged in.

#1 2016-01-15 00:09:06

Registered: 2014-05-02
Posts: 4

SpinRCP Version 3.0.0 is now available

Dear Spin and SpinRCP users,

SpinRCP Version 3.0.0 is now available at its website:


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


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