Spinroot

A forum for Spin users

You are not logged in.

#1 2010-12-15 11:50:44

benari
Member
Registered: 2010-11-24
Posts: 9

New version of jSpin

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

Board footer

Powered by FluxBB