Probabilistic model checking of complex biological pathwaysReport as inadecuate

Probabilistic model checking of complex biological pathways - Download this document for free, or read online. Document in PDF available to download.

Reference: Heath, J, Kwiatkowska, M, Norman, G et al., (2008). Probabilistic model checking of complex biological pathways. THEORETICAL COMPUTER SCIENCE, 391 (3), 239-257.Citable link to this page:


Probabilistic model checking of complex biological pathways

Abstract: Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including security and communication protocols, distributed algorithms and power management. In this paper we illustrate its applicability to a complex biological system: the FGF (Fibroblast Growth Factor) signalling pathway. We give a detailed description of how this case study can be modelled in the probabilistic model checker PRISM, discussing some of the issues that arise in doing so, and show how we can thus examine a rich selection of quantitative properties of this model. We present experimental results for the case study under several different scenarios and provide a detailed analysis, illustrating how this approach can be used to yield a better understanding of the dynamics of the pathway. Finally, we outline a number of exact and approximate techniques to enable the verification of larger and more complex pathways and apply several of them to the FGF case study. © 2007 Elsevier Ltd. All rights reserved.

Peer Review status:Peer reviewedPublication status:PublishedVersion:Publisher Version Funder: Engineering and Physical Sciences Research Council   Funder: Microsoft Research Cambridge   Notes:Copyright 2007 Elsevier B.V. All rights reserved. Re-use of this article is permitted in accordance with the Terms and Conditions set out at

Bibliographic Details

Publisher: Elsevier B.V.

Publisher Website:

Journal: THEORETICAL COMPUTER SCIENCEsee more from them

Publication Website:

Issue Date: 2008-2-14


Urn: uuid:f7298026-548f-4ef2-b61e-65e921b002e8

Source identifier: 289673


Issn: 0304-3975 Item Description

Type: Journal article;

Language: eng

Version: Publisher VersionKeywords: probabilistic model checking probabilistic verification biological pathways biological modelling Tiny URL: pubs:289673


Author: Heath, J - - - Kwiatkowska, M - institutionUniversity of Oxford Oxford, MPLS, Computer Science - - - Norman, G - institutionUnive



Related documents