Comment by nathanmarz

15 years ago

There's PRISM, which is used for analyzing probabilistic systems: http://www.prismmodelchecker.org/

Oh my god. I have dreamed of, and half-implemented badly, exactly this. Not quite what I was thinking of, but still quite useful for that class of problem.

You should submit this as an HN post too. Thanks!

There's also TreeAge which is popular in health informatics (the name is a pun off of "triage") and, perhaps more generally, BUGS/JAGS which can be used to build and test arbitrary Bayesian network models.