A Study of the PDGF Signaling Pathway with PRISM
  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. 
Qixia Yuan (University of Luxembourg), Jun Pang (University of   Luxembourg), Sjouke Mauw (University of Luxembourg), Panuwa...
cs.CE cs.LO q-bio.QM