A forum for Spin users
You are not logged in.
Pages: 1
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.
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.
finally i have done it.
spin is oki. modex is oki.now i have to go on...
thanks for ur help.
can u give me any good tutorial where i can learn spin easily?
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
hey ymcl7763, can tell me how u install spin 6.0.1?
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?
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....:((
can i find any tutorial that how to install modex in windows?
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.
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.
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....
very useful for me....
Pages: 1