
Analysing Molecular Networks using Probabilistic Model Checking: From Signalling Pathways to Molecular ProgrammingTuesday, 16 October 2012 at 14:15 ![]() The lecture will give a brief introduction to probabilistic model checking and PRISM (www.prismmodelchecker.org), and then demonstrate how to apply it, first to model and analyse signalling pathways, and then how to detect and correct flaws in DNA device designs. |