This is the mail archive of the
cygwin-talk@cygwin.com
mailing list for the cygwin project.
RE: Using SPIN for model checking
- From: "Dave Korn" <dk at artimi dot com>
- To: "'is any of this even _supposed_ to make sense?'" <cygwin-talk at cygwin dot com>
- Date: Mon, 29 Nov 2004 16:25:16 -0000
- Subject: RE: Using SPIN for model checking
- Reply-to: Talk Amongst Yourselves <cygwin-talk at cygwin dot com>
> -----Original Message-----
> From: cygwin-talk-owner On Behalf Of Christopher Faylor
> Sent: 29 November 2004 15:28
> To: Talk Amongst Yourselves
> Subject: Re: Using SPIN for model checking
>
> On Mon, Nov 29, 2004 at 10:05:43AM -0000, Dave Korn wrote:
> >> -----Original Message-----
> >> From: cygwin-talk-owner On Behalf Of Christopher Faylor
> >> Sent: 29 November 2004 04:47
> >> To: Talk Amongst Yourselves
> >> Subject: Re: Using SPIN for model checking
> >>
> >> On Mon, Nov 29, 2004 at 04:38:22AM +0000, Patrick Fulgence wrote:
> >> >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.
> >>
> >> And you think that the cygwin-talk mailing list is the place
> >> to get help with "SPIN" because...?
> >
> > I thought we were _supposed_ to be off-topic here?
>
> Um. Reading skills a little off? *You* have now introduced
> the notion
> of "off-topic" to this "discussion", not me.
>
> cgf
Nonono. I was merely answering your question: he thought that this list
was "the place to get help with SPIN because...." ... because this list is
the place for stuff that's off-topic for the main cygwin list, and SPIN is
off-topic for the cygwin list, so this list is clearly the place to ask for
help with SPIN.
Can anyone recommend a good plumber?
cheers,
DaveK
--
Can't think of a witty .sigline today....