Spinroot

A forum for Spin users

You are not logged in.

#1 2011-05-27 13:04:14

ahmedhelal
Member
Registered: 2011-05-27
Posts: 2

Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

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

#2 2011-05-27 16:00:14

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

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

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

#3 2011-05-27 16:20:12

ahmedhelal
Member
Registered: 2011-05-27
Posts: 2

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

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

#4 2011-06-10 08:00:15

milon_mi7
Member
Registered: 2011-06-10
Posts: 13

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

very useful for me....

Last edited by milon_mi7 (2011-06-10 08:32:34)

Offline

#5 2011-06-10 08:16:21

milon_mi7
Member
Registered: 2011-06-10
Posts: 13

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

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

#6 2011-06-11 20:05:39

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

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

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

#7 2011-06-13 10:38:27

milon_mi7
Member
Registered: 2011-06-10
Posts: 13

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

can i find any tutorial that how to install modex in windows?

Offline

#8 2011-06-13 16:47:30

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

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

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

#9 2011-06-14 02:46:08

milon_mi7
Member
Registered: 2011-06-10
Posts: 13

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

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

#10 2011-06-14 03:54:06

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

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

i think the best advice i can give is to first learn how to use spin well, before trying to use the most advanced options, such as model extraction

Offline

#11 2011-06-14 05:11:52

milon_mi7
Member
Registered: 2011-06-10
Posts: 13

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

can u give me any good tutorial where i can learn spin easily?

Offline

#12 2011-06-14 05:22:28

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

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

there some very good textbooks available -- check the homepage at spinroot.com
or look at the tutorials on this page: [url]http://spinroot.com/spin/Man/[/url]

Offline

#13 2011-09-17 00:44:17

mikeof
Member
From: Canada
Registered: 2011-09-16
Posts: 1
Website

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

For further sources you might want to take a look at similarsites.com/site/spinroot.com.

Offline

#14 2011-09-29 21:26:37

jamesleecrow
Member
Registered: 2011-09-29
Posts: 1
Website

Re: Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin)

[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

Board footer

Powered by FluxBB