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>