2011-02-26T18:42:15ZFluxBBhttp://spinroot.com/fluxbb/viewtopic.php?id=97luckily 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]]>http://spinroot.com/fluxbb/profile.php?id=22011-02-26T18:42:15Zhttp://spinroot.com/fluxbb/viewtopic.php?pid=261#p261thank 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?]]>http://spinroot.com/fluxbb/profile.php?id=5122011-02-26T10:52:29Zhttp://spinroot.com/fluxbb/viewtopic.php?pid=259#p259Not 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]]>http://spinroot.com/fluxbb/profile.php?id=22011-02-26T06:05:26Zhttp://spinroot.com/fluxbb/viewtopic.php?pid=258#p258slt 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]]>http://spinroot.com/fluxbb/profile.php?id=5122011-02-25T22:46:21Zhttp://spinroot.com/fluxbb/viewtopic.php?pid=257#p257