Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway

@inproceedings{Clarke2008StatisticalMC,
  title={Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway},
  author={Edmund M. Clarke and James R. Faeder and Christopher James Langmead and Leonard A. Harris and Sumit Kumar Jha and Axel Legay},
  booktitle={CMSB},
  year={2008}
}
We present an algorithm, called BioLab, for verifying temporal properties of rule-based models of cellular signalling networks. BioLab models are encoded in the BioNetGen language, and properties are expressed as formulae in probabilistic bounded linear temporal logic. Temporal logic is a formalism for representing and reasoning about propositions qualified in terms of time. Properties are then verified using sequential hypothesis testing on executions generated using stochastic simulation… CONTINUE READING
73 Citations
46 References
Similar Papers

References

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

Model Checking

  • E. Clarke, O. Grumberg, D. A. Peled
  • MIT Press, Cambridge
  • 1999
Highly Influential
10 Excerpts

A general method for numerically simulating the stochastic time evolution of coupled chemical reactions

  • D. T. Gillespie
  • J. Comp. Phys. 22, 403–434
  • 1976
Highly Influential
5 Excerpts

Sequential tests of statistical hypotheses

  • A. Wald
  • Annals of Mathematical Statistics 16(2), 117–186
  • 1945
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…