Spinroot

A forum for Spin users

You are not logged in.

#1 Re: General » how to install FeaVer/modex and spin in ubuntu or windows? » 2011-06-15 02:30:54

thanks for ur reply. I am working on spin.
another thing is, in some tutorial i have seen they use GUI for FeaVer/modex.but i didnot find it anywhere. is there any GUI for it? for example i have used a little iSpin with graphical user interface for promela code.

#2 Re: General » how to install FeaVer/modex and spin in ubuntu or windows? » 2011-06-14 06:30:45

hello admin, i think u r the only one who can help me. actually i am trying to test a c code. so what ever i studied i am sharing with you.tell me am i right or wrong.i am not so clear what i have studied.
at first i am taking a C file.i want to extract a model using modex. for this i need 2 file. 1 is c file and another one is test harness(.prx) file.then i am extracting a model and then i use spin.
i have some question.
1.what should .prx will include?
2. the model generated from modex represent what?
3 what is the role of spin here?

i am following this link:

spinroot.com/spin/Workshops/ws05/modex_tutorial.pdf

if u have time pls see this.

#3 Re: General » how to install FeaVer/modex and spin in ubuntu or windows? » 2011-06-14 05:57:26

finally i have done it.
spin is oki. modex is oki.now i have to go on...

thanks for ur help.
smile

#4 Re: General » Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin) » 2011-06-14 05:11:52

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

#5 Re: General » how to install FeaVer/modex and spin in ubuntu or windows? » 2011-06-14 05:10:39

i have install it in /usr/local/bin/spin
inside spin i have,
Doc, iSpin,Man,Samples,Src6.1.0,Test, directory....

when ever i try to run:
spin -V
it give the following mgs:

milon@milon-VirtualBox:~$ spin -V
No command 'spin' found, did you mean:
Command 'spim' from package 'spim' (universe)
Command 'spine' from package 'cacti-spine' (universe)
spin: command not found

#6 Re: General » verification » 2011-06-14 02:51:56

hey ymcl7763, can tell me how u install spin 6.0.1?

#7 Re: General » how to install FeaVer/modex and spin in ubuntu or windows? » 2011-06-14 02:48:59

u gave the link for Spin. i have done exactly like this website. but after installing when i run spin -V it said it doesnot find the command spin.
I have seen in a document that FeaVer/modex have a GUI version. do u know anything about it?

#8 Re: General » Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin) » 2011-06-14 02:46:08

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....:((

#9 Re: General » Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin) » 2011-06-13 10:38:27

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

#10 General » how to install FeaVer/modex and spin in ubuntu or windows? » 2011-06-13 09:49:04

milon_mi7
Replies: 14

i am trying to extract a state machine from c code. I am following the manuals but having some problem. can anyone tell me how to install FeaVer/modex and spin in ubuntu or windows?

thanks in advance.

#11 Re: General » basic help with modex/feaver » 2011-06-13 08:51:17

HI, i am having some problem in spin. I have successfully install modex and can generate a model from a c file. but when i try to use spin command, it said command not found. is there any tutorial to show how to install modex and spin? i am using ubuntu 11.04. tutorial in windows is also appreciable.

#12 Re: General » Installing Spin and it's GUI libs (XSpin, iSpin, JSpin, EclipsePlugin) » 2011-06-10 08:16:21

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....

Board footer

Powered by FluxBB