A Study of the PDGF Signaling Pathway with PRISM
arXiv:1109.1367 · doi:10.4204/EPTCS.67.7
Abstract
In this paper, we apply the probabilistic model checker PRISM to the analysis of a biological system -- the Platelet-Derived Growth Factor (PDGF) signaling pathway, demonstrating in detail how this pathway can be analyzed in PRISM. We show that quantitative verification can yield a better understanding of the PDGF signaling pathway.
In Proceedings CompMod 2011, arXiv:1109.1044