Spinroot
A forum for Spin users
You are not logged in.
- Topics: Active | Unanswered
Pages: 1
#1 2011-07-22 23:47:41
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
Pages: 1