www.prismmodelchecker.org
[JAA+21] Sascha Jung, Evan Appleton, Muhammad Ali, George M. Church and Antonio del Sol. A computer-guided design tool to increase the efficiency of cellular conversions. Nature Communications, 12. 2021. [Introduces a computer-guided design tool for cell conversion, including the use of PRISM for underlying computations.]
Links: [Google] [Google Scholar]

Publications