From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from lists.gentoo.org ([140.105.134.102] helo=robin.gentoo.org) by nuthatch.gentoo.org with esmtp (Exim 4.60) (envelope-from ) id 1Fv5yC-0006Ap-9z for garchives@archives.gentoo.org; Tue, 27 Jun 2006 05:18:40 +0000 Received: from robin.gentoo.org (localhost [127.0.0.1]) by robin.gentoo.org (8.13.7/8.13.6) with SMTP id k5R5HLJa011544; Tue, 27 Jun 2006 05:17:21 GMT Received: from sccrmhc15.comcast.net (sccrmhc15.comcast.net [63.240.77.85]) by robin.gentoo.org (8.13.7/8.13.6) with ESMTP id k5R5HJ5g029218 for ; Tue, 27 Jun 2006 05:17:20 GMT Received: from [24.21.55.62] (c-24-21-55-62.hsd1.mn.comcast.net[24.21.55.62]) by comcast.net (sccrmhc15) with ESMTP id <2006062705171801500r1fble>; Tue, 27 Jun 2006 05:17:18 +0000 Message-ID: <44A0BF58.8080305@cesmail.net> Date: Mon, 26 Jun 2006 22:17:12 -0700 From: "M. Edward (Ed) Borasky" User-Agent: Thunderbird 1.5.0.4 (X11/20060602) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-science@gentoo.org Reply-to: gentoo-science@lists.gentoo.org MIME-Version: 1.0 To: gentoo-science@lists.gentoo.org Subject: Re: [gentoo-science] sci-proof References: <20060626161440.38076.qmail@web31715.mail.mud.yahoo.com> In-Reply-To: <20060626161440.38076.qmail@web31715.mail.mud.yahoo.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Archives-Salt: 1f759cbb-86de-4b8b-b2d8-1fcf9b623940 X-Archives-Hash: f13bb86227d91e7bfcb1b7002ffa46fc C Y wrote: > I'm sure I missed a few. Anyway, certainly enough to start :-). > Well -- if we're going to get *that* specialized , how about adding "maria" (which is in Debian -- it's a Petri net reachability analyzer), the PEPA Workbench (in Java ... most likely not in Debian), PRISM (http://www.cs.bham.ac.uk/~dxp/prism/download.php) and PDQ (http://perfdynamics.com). Seriously, though, PRISM is a quite useful and magnificent piece of open-source work. Nearly all the other software in this domain (probabilistic model checking and Markov process modeling) is either commercial or tied up in an "academic (non-commercial)" non-free license of some kind. > Cheers, > CY > > __________________________________________________ > Do You Yahoo!? > Tired of spam? Yahoo! Mail has the best spam protection around > http://mail.yahoo.com > -- M. Edward (Ed) Borasky http://linuxcapacityplanning.com -- gentoo-science@gentoo.org mailing list