From owner-freebsd-ports Mon Mar 6 6:37:56 2000 Delivered-To: freebsd-ports@freebsd.org Received: from peach.ocn.ne.jp (peach.ocn.ne.jp [210.145.254.87]) by hub.freebsd.org (Postfix) with ESMTP id 6708E37BE30; Mon, 6 Mar 2000 06:37:50 -0800 (PST) (envelope-from dcs@newsguy.com) Received: from newsguy.com (dcs@p22-dn03kiryunisiki.gunma.ocn.ne.jp [210.232.224.151]) by peach.ocn.ne.jp (8.9.1a/OCN) with ESMTP id XAA05135; Mon, 6 Mar 2000 23:37:43 +0900 (JST) Message-ID: <38C3C269.6B52BE4C@newsguy.com> Date: Mon, 06 Mar 2000 23:36:25 +0900 From: "Daniel C. Sobral" X-Mailer: Mozilla 4.7 [en] (Win98; I) X-Accept-Language: en,pt-BR,ja MIME-Version: 1.0 To: obrien@FreeBSD.ORG Cc: Chuck Robey , ports@FreeBSD.ORG Subject: Re: Spin References: <200003051825.DAA19378@daniel.sobral> <20000305153156.C2252@dragon.nuxi.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org 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