RE: Using SPIN for model checking

["Dave Korn" <dk at artimi 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....