Abstract
Mathematical models of real biological systems have predominantly been deterministic or stochastic continuous models. However, there are reasons to believe that at least some processes can be modeled in a “digital” way. Once we do that, we enter the domain of concurrent and reactive systems, where model checking has been an important tool. Perhaps techniques from the verification community could lead to insights about the systems principles that allow biological systems using very low energy (and high noise) components to function dynamic environments.
I will explore some past and future research directions in this area, as well as some of the non-computational challenges that arise in this kind of research.
Download conference paper PDF
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dill, D.L. (2012). Model Checking Cell Biology. In: Madhusudan, P., Seshia, S.A. (eds) Computer Aided Verification. CAV 2012. Lecture Notes in Computer Science, vol 7358. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31424-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-31424-7_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31423-0
Online ISBN: 978-3-642-31424-7
eBook Packages: Computer ScienceComputer Science (R0)
