A forum for Spin users
You are not logged in.
Pages: 1
The output format of Spin 6.0.0 is changed and this makes it incompatible
with the jSpin development environment. A new version (jSpin 5.0) has been
created and is available at:
[url]http://code.google.com/p/jspin/[/url]
This version also enables the user to specify interactively which one of a set
of named internal ltl formulas will be used for a verification.
Please contact me if there are any problems.
Moti
Offline
Pages: 1