Abstract
Advanced computational models are transforming the way research is done in biology, by providing quantitative means to assess the validity of theories and hypotheses and allowing predictive capabilities, raising an urgent need to be able to systematically and efficiently analyze runtime properties of models. In this tutorial I describe key biological applications, modeling formalisms, property specification languages, and computational tools utilized in this domain, survey the techniques and research from the formal verification, machine learning and simulation communities that are currently being used, and outline opportunities for the runtime verification community to contribute new scalable methods.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Purves, D., et al.: Ecosystems: Time to model all life on earth. Nature 493(7432), 295–297 (2013)
Qian, L., Winfree, E.: Scaling Up Digital Circuit Computation with DNA Strand Displacement Cascades. Science 332(6034), 1196–1201 (2011)
Yordanov, B., Wintersteiger, C.M., Hamadi, Y., Kugler, H.: SMT-based Analysis of Biological Computation. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 78–92. Springer, Heidelberg (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kugler, H. (2013). Runtime Verification and Refutation for Biological Systems. In: Legay, A., Bensalem, S. (eds) Runtime Verification. RV 2013. Lecture Notes in Computer Science, vol 8174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40787-1_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-40787-1_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40786-4
Online ISBN: 978-3-642-40787-1
eBook Packages: Computer ScienceComputer Science (R0)