This is the mail archive of the
cygwin
mailing list for the Cygwin project.
Re: Help needed for using SPIN
- From: Ariel Burbaickij <ariel dot burbaickij at gmail dot com>
- To: cygwin at cygwin dot com
- Date: Mon, 29 Nov 2004 09:52:31 +0100
- Subject: Re: Help needed for using SPIN
- References: <loom.20041129T054225-693@post.gmane.org>
- Reply-to: Ariel Burbaickij <ariel dot burbaickij at gmail dot com>
As an option -- go and download the first edition of
the book by Gerard Holzmann (author of spin & promela)
"Design and Validation of Computer Protocols"
http://spinroot.com/gerard/popd.html
then see
whether it answers your questions -- normally it should.
On Mon, 29 Nov 2004 04:42:41 +0000 (UTC), Patrick Fulgence
<fugeesonlyone@yahoo.fr> 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/
>
>
--
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/