A forum for Spin users
You are not logged in.
Pages: 1
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
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
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
Pages: 1