Spinroot

A forum for Spin users

You are not logged in.

#1 2011-07-22 23:47:41

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

version 6.1.1 -- pre-announcement

Spin version 6.1.1 will support the verification of models (and code)
for real-time embedded systems.
These systems typically use priority-based scheduling rules, which
can now be modeled directly in Spin models.
In the new version it'll be relatively easy to model things like priority
inversion etc.
There's no fixed release date for 6.1.1 yet -- there's still a good bit
of testing to be done with the newly supported features, but once
it settles version 6.1.1 will be put into the distribution, and announced here.

Offline

#2 2011-09-14 05:08:39

ebbecorpuz456
Member
Registered: 2011-09-09
Posts: 1

Re: version 6.1.1 -- pre-announcement

Is this for free ???? Can any body give me a link where I can get the new version.
I'm not that good using the internet. I would really appreciate it. Thanks.

Offline

#3 2011-09-14 05:21:54

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: version 6.1.1 -- pre-announcement

it's free, but it's not available yet
once available, it will be posted to http://spinroot.com/

Offline

#4 2011-09-29 14:02:38

ddel85
Member
From: VA
Registered: 2011-09-29
Posts: 1
Website

Re: version 6.1.1 -- pre-announcement

Looking forward to these new features.

Offline

Board footer

Powered by FluxBB