Probabilistic model checking of complex biological pathways
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...
Main Authors: | Heath, J, Kwiatkowska, M, Norman, G, Parker, D, Tymchyshyn, O |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Elsevier
2008
|
Similar Items
-
Probabilistic model checking and autonomy
by: Kwiatkowska, M, et al.
Published: (2021) -
Equilibria-based probabilistic model checking for concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2019) -
Compositional probabilistic verification through multi-objective model checking
by: Kwiatkowska, M, et al.
Published: (2013) -
Simulation and verification for computational modelling of signalling pathways.
by: Kwiatkowska, M, et al.
Published: (2006) -
Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
by: Kwiatkowska, M, et al.
Published: (2022)