Publication details
From Formal Methods to Systems Biology
| Authors | |
|---|---|
| Year of publication | 2014 |
| MU Faculty or unit | |
| Citation | |
| 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. |