Probabilistic Model Checking for Biology

  title={Probabilistic Model Checking for Biology},
  author={Marta Z. Kwiatkowska and Chris Thachuk},
  booktitle={Software Systems Safety},
Probabilistic model checking is an automated method for verifying the correctness and performance of probabilistic models. Property specifications are expressed in probabilistic temporal logic, denoting, for example, the probability of a given event, the probability of its occurrence within a given time interval, or expected number of times it has occurred in a time period. This chapter focuses on the application of probabilistic model checking to biological systems modelled as continuous-time… CONTINUE READING
8 Citations
37 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 37 references

and D

  • M. Kwiatkowska, G. Norman
  • Parker. PRISM 4.0: Verification of probabilistic…
  • 2011
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…