Spinroot

A forum for Spin users

You are not logged in.

#1 2011-02-25 23:46:21

wissal48
Member
Registered: 2011-02-25
Posts: 2

How to Run spin

slt
I download spin 6 and cygwin and I renamed spin6 by spin and I do not know what I want to run the spin I work in windows please help me
thank you

Offline

#2 2011-02-26 07:05:26

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

Re: How to Run spin

Not sure what you're asking.
After you install spin by moving it into /bin/spin.exe
you should be able to use spin as a regular command.
For instance, you should be able to see the output of:
spin -V

Offline

#3 2011-02-26 11:52:29

wissal48
Member
Registered: 2011-02-25
Posts: 2

Re: How to Run spin

thank you for your answer I have a problem of two processes that are respect  the exlusive mutual  and I found the spin as a tool but I don't have  idea how to use.
I followed the installation steps
1. I download spin601.exe
2. after cygwin
3. I move spin601.exe in the cygwin directory / bin and I rename by spin.exe
after that I should do?

Offline

#4 2011-02-26 19:42:15

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

Re: How to Run spin

luckily there's a good set of good manuals and tutorials available online for you
the best I can recommend is: read the online tutorials and do the "getting started" exercises.
for a more in-depth introduction and overview, read one of the text-books that are available on Spin.
they're available from all the major online book-sellers like amazon or barnes and noble (e.g., moti ben-ari's introduction to Spin, or the standard overview 'the spin model checker')
it's not easily possible to reproduce that information in a few sentences here

Offline

Board footer

Powered by FluxBB