www.prismmodelchecker.org
[YTP+12] Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw, Monique Wiesinger and Thomas Sauter. Probabilistic Model Checking of the PDGF Signaling Pathway. Transactions on Computational Systems Biology, XIV, pages 151-180. 2012. [Analyses the PDGF signalling pathway using PRISM.]
Links: [Google] [Google Scholar]

Publications