This is the mail archive of the
cygwin-talk@cygwin.com
mailing list for the cygwin project.
Using SPIN for model checking
- From: Patrick Fulgence <fugeesonlyone at yahoo dot fr>
- To: cygwin-talk at cygwin dot com
- Date: Mon, 29 Nov 2004 04:38:22 +0000 (UTC)
- Subject: Using SPIN for model checking
- Reply-to: Talk Amongst Yourselves <cygwin-talk at cygwin dot com>
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.