Help needed for using SPIN
Patrick Fulgence
fugeesonlyone@yahoo.fr
Mon Nov 29 05:46:00 GMT 2004
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/
More information about the Cygwin
mailing list