Publication details

From Formal Methods to Systems Biology



Year of publication 2014
MU Faculty or unit

Faculty of Informatics

Description Model checking together with other formal methods and techniques is being adapted for applications to biological systems. We present a selection of approaches used for modelling biological systems and formalising their interesting properties in temporal logics. Special intention will be given to parameter exploration methods based on model checking. We will cover both deterministic and stochastic modelling paradigms. We also give a brief account of currently solved case studies to demonstrate the real problems and to rise the challenges. The primary aim of the talk is to give a brief overview of our research.