Help needed for using SPIN

[bobby mcnulty junior]

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: snyder100@bellsouth.net
webpage: www.geocities.com/bobbymcn2004
-------------- next part --------------
A non-text attachment was scrubbed...
Name: bobbymcn.vcf
Type: text/x-vcard
Size: 261 bytes
Desc: not available
URL: <http://cygwin.com/pipermail/cygwin/attachments/20041129/2edd6305/attachment.vcf>
-------------- next part --------------
--
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/