Re: Help needed for using SPIN
As an option -- go and download the first edition of the book by Gerard Holzmann (author of spin promela) Design and Validation of Computer Protocols http://spinroot.com/gerard/popd.html then see whether it answers your questions -- normally it should. On Mon, 29 Nov 2004 04:42:41 + (UTC), Patrick Fulgence [EMAIL PROTECTED] wrote: Hi, I need to learn how to use the tool SPIN based on promela language. What do I need to get on my computer for that ? I've very embarassed because I don't arrive to do antything for understanding how it works. I've read a lot of stuff about that nut I still being not on the way for using it. Need your help please. Thanks. Patrick. -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/ -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/
Help needed for using SPIN
Hi, I need to learn how to use the tool SPIN based on promela language. What do I need to get on my computer for that ? I've very embarassed because I don't arrive to do antything for understanding how it works. I've read a lot of stuff about that nut I still being not on the way for using it. Need your help please. Thanks. Patrick. -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/
Re: Help needed for using SPIN
On Mon, Nov 29, 2004 at 04:42:41AM +, Patrick Fulgence wrote: I need to learn how to use the tool SPIN based on promela language. What do I need to get on my computer for that ? I've very embarassed because I don't arrive to do antything for understanding how it works. I've read a lot of stuff about that nut I still being not on the way for using it. Need your help please. The cygwin mailing list has nothing to do with SPIN or promela. You're in the wrong place. Sorry. -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/
Re: Help needed for using SPIN
Patrick Fulgence wrote: Hi, I need to learn how to use the tool SPIN based on promela language. What do I need to get on my computer for that ? I've very embarassed because I don't arrive to do antything for understanding how it works. I've read a lot of stuff about that nut I still being not on the way for using it. Need your help please. Thanks. Patrick. -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/ Wrong mailing, we have nothing do with Spin. This is Cygwin, Not Spin or promela. -- Robert McNulty Junior email: [EMAIL PROTECTED] webpage: www.geocities.com/bobbymcn2004 begin:vcard fn:Robert McNulty Junior n:McNulty Junior;Robert adr:;;3971 Linda Ann Drive;Millbrook;AL;36054;USA email;internet:[EMAIL PROTECTED] tel;home:1-334-285-5490 x-mozilla-html:FALSE url:http://www.geocities.com/bobbymcn2004 version:2.1 end:vcard -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/