www.prismmodelchecker.org
[vN56] J. von Neumann. Probabilistic logics and synthesis of reliable organisms from unreliable components. In C. Shannon and J. McCarthy (editors), Automata Studies, pages 43--98, Princeton University Press. 1956. [bib]
Downloads:  bib bib

Publications