A forum for Spin users
You are not logged in.
I have noticed that it's not easy for many people to get spin running along with it's ui, especially that some of them require tcl/tk or other dependencies that isnt installed by default on operating systems like MS Windows, so i decided to make a blog post about it including screen casts of the whole process.
Kindly check it: [url]http://ahmedhelal.me/?p=43[/url]
Hope it's useful to anyone.
Offline
very well done!
since you recommend the eclipse plugin, can you also make available step by step instructions for obtaining and installing the latest version?
i noticed that you had to provide a path to xspin in the configuration setup in eclipse -- does it invoke xspin for anything? (xspin is no longer supported, and the intent was to replace it with ispin -- possibly ispin needs more work to make it work a little snappier)
Offline
Thanks, well in the blog post i listed all the libs before the videos, if you click on any of them it should take you to the url of the latest version of each.
the eclipse plugin has an option to do a simulation using xspin (but it's just an optional simulation, so you can disregard it)
Offline
very useful for me....
Last edited by milon_mi7 (2011-06-10 08:32:34)
Offline
I am new here. i dont know much about all the things.... i want to know, in the ispin can i use other format rather than pml(promela file)???
suppose i have a C code. so how can i use it in ispin?
i can convert a c code to MODEX. but i donno how to use that code here.
pls need help....
Offline
yes you can open any file, the extension does not have to be .pml
but ispin and spin itself will only parse Promela -- that's the input language to the tool
Modex is really for very advanced Spin users -- so I would not use that if you're just starting out with Spin
look for tutorials on spinroot.com --- there are quite a few of them in the references section
Offline
can i find any tutorial that how to install modex in windows?
Offline
i see in another thread that you've meanwhile succeeded.
it's just a matter of untarring, compiling, and copying the executable into a bin directory within your path; e.g. on cygwin you'd copy modex.exe into c:/cygwin/bin
Offline
i have downloaded modex.tar file.i am using windows.meanwhile i have used modex in linus.
how can i compile a tar file in windows? there is no modex.exe file....:((
Offline
can u give me any good tutorial where i can learn spin easily?
Offline
[quote=mikeof]For further sources you might want to take a look at similarsites.com/site/spinroot.com.[/quote]
Thanks for this although there were bizarre results including a casino website in the list of purpotedly 'similar sites'. I DID stumble upon a few sites though.
Alternatively, you could enter some search terms in google using the allintitle: and quotation for exact matches... a bit obvious but still useful.
Offline