Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 06 Mar 2000 23:36:25 +0900
From:      "Daniel C. Sobral" <dcs@newsguy.com>
To:        obrien@FreeBSD.ORG
Cc:        Chuck Robey <chuckr@picnic.mat.net>, ports@FreeBSD.ORG
Subject:   Re: Spin
Message-ID:  <38C3C269.6B52BE4C@newsguy.com>
References:  <200003051825.DAA19378@daniel.sobral> <Pine.BSF.4.21.0003051803380.301-100000@picnic.mat.net> <20000305153156.C2252@dragon.nuxi.com>

next in thread | previous in thread | raw e-mail | index | archive | help
David O'Brien wrote:
> 
> On Sun, Mar 05, 2000 at 06:05:16PM -0500, Chuck Robey wrote:
> > Looking at it, it seems to bee either cad or devel (I would personally
> > lean towards cad).
> 
> It certainly isn't CAD -- it isn't used in designing stuff.  It is a
> model checker and falls close to the field for Formal Methods and proving
> properites about langauges.  It is used in a grad class here, and I
> can't think of any ugrad class that would cover the type of thing spim
> does.

It's original use is protocol design and validation. Ergo, I think,
Computer Aided Design. :-)

--
Daniel C. Sobral			(8-DCS)
dcs@newsguy.com
dcs@freebsd.org

	One Unix to rule them all, One Resolver to find them,
        One IP to bring them all and in the zone bind them.


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-ports" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?38C3C269.6B52BE4C>