This is the mail archive of the
cygwin
mailing list for the Cygwin project.
Help needed for using SPIN
- From: Patrick Fulgence <fugeesonlyone at yahoo dot fr>
- To: cygwin at cygwin dot com
- Date: Mon, 29 Nov 2004 04:42:41 +0000 (UTC)
- Subject: 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/