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/