www.prismmodelchecker.org
[KH12] K. Kobayashi and K. Hiraishi. Symbolic approach to verification and control of deterministic/probabilistic Boolean networks. IET Systems Biology, 6(6), pages 215-222. 2012. [Applies PRISM to the analysis of probabilistic Boolean networks, using an apoptosis network and a WNT5A network as examples.]

Publications