Journal article icon

Journal article

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, di...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More from this funder
Name:
Microsoft Research Cambridge
Grant:
MRL 2005-44
More from this funder
Name:
Engineering and Physical Sciences Research Council
Grant:
EP/D076625
Publisher:
Elsevier
Journal:
THEORETICAL COMPUTER SCIENCE More from this journal
Volume:
391
Issue:
3
Pages:
239-257
Publication date:
2008-02-14
DOI:
ISSN:
0304-3975
Language:
English
Keywords:
Pubs id:
pubs:289673
UUID:
uuid:f7298026-548f-4ef2-b61e-65e921b002e8
Local pid:
pubs:289673
Source identifiers:
289673
Deposit date:
2013-11-16

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP