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
pgpStgs5SvYF0.pgp
Description: PGP signature
