Re: [gentoo-science] sci-proof

[Alexandre Buisse <nattfodd@gentoo.org>]

[-- Attachment #1: Type: text/plain, Size: 1169 bytes --]

On Tue, Jun 27, 2006 at 12:57:12 +0200, M. Edward (Ed) Borasky wrote:

> 
> 
> C Y wrote:
> > I'm sure I missed a few.  Anyway, certainly enough to start :-).
> >   
> Well -- if we're going to get *that* specialized <weg>, 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.

Well, model checking is outside the (admittedly very narrow) scope of
software I'm interested/skilled in, which deals mostly with proof
assistant. If enough interest is shown, I could try to add them, but
after we are done with the proof assistants (another possibility would
of course be for you to become a dev yourself and maintain them :)).

Regards,
/Alexandre

[-- Attachment #2: Type: application/pgp-signature, Size: 189 bytes --]