Qixia Yuan (University of Luxembourg) |
Jun Pang (University of Luxembourg) |
Sjouke Mauw (University of Luxembourg) |
Panuwat Trairatphisan (University of Luxembourg) |
Monique Wiesinger (University of Luxembourg) |
Thomas Sauter (University of Luxembourg) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.67.7 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |