www.prismmodelchecker.org
[JCL+09] S. Jha, E. Clarke, C. Langmead, A. Legay, A. Platzer and P. Zuliani. A Bayesian approach to model checking biological systems. In Proc. 7th International Conference on Computational Methods in Systems Biology (CMSB'09), Springer. 2009. [bib]
Downloads:  bib bib
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar]

Publications