A Study of the PDGF Signaling Pathway with PRISM
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2011
- DOI:
- 10.48550/arXiv.1109.1367
- arXiv:
- arXiv:1109.1367
- Bibcode:
- 2011arXiv1109.1367Y
- Keywords:
-
- Computer Science - Computational Engineering;
- Finance;
- and Science;
- Computer Science - Logic in Computer Science;
- Quantitative Biology - Quantitative Methods
- E-Print:
- In Proceedings CompMod 2011, arXiv:1109.1044