Date: Sun, 5 Mar 2000 15:31:56 -0800 From: "David O'Brien" <obrien@FreeBSD.ORG> To: Chuck Robey <chuckr@picnic.mat.net> Cc: "Daniel C. Sobral" <dcs@newsguy.com>, ports@FreeBSD.ORG Subject: Re: Spin Message-ID: <20000305153156.C2252@dragon.nuxi.com> In-Reply-To: <Pine.BSF.4.21.0003051803380.301-100000@picnic.mat.net>; from chuckr@picnic.mat.net on Sun, Mar 05, 2000 at 06:05:16PM -0500 References: <200003051825.DAA19378@daniel.sobral> <Pine.BSF.4.21.0003051803380.301-100000@picnic.mat.net>
next in thread | previous in thread | raw e-mail | index | archive | help
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. -- -- David (obrien@NUXI.com) 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?20000305153156.C2252>