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:
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.