cfaed Seminar Series
cfaed Seminar Series
Tatjana Petrov , IST, Austria
Formal verification of biological systems
03.04.2017 (Monday)
, 11:00 - 12:30
CSBD , Pfotenhauerstraße 108 , 01307 Dresden
Abstract
Formal verification, a field of computer science that aims to automatically prove program correctness, has shown remarkable success in dealing with large-scale, complex systems. Biological systems are prime examples of complexity: they are large-scale, stochastic, function at multiple organisation levels and time-scales, exhibit emergent behaviors.
In this talk two research stories will be shown: where formal verification methods are employed to tackle biological complexity: (i) automated reductions of stochastic rule-based models of biochemical systems, and (ii) model checking the evolution of gene regulatory networks.