From Formal Methods to Systems Biology

ŠAFRÁNEK, David. From Formal Methods to Systems Biology. In Modeling and Simulation Seminar, Saarland University. 2014.

Základní údaje

Originální název

From Formal Methods to Systems Biology

Autoři

ŠAFRÁNEK, David

Vydání

Modeling and Simulation Seminar, Saarland University, 2014

---

Další údaje

Jazyk

angličtina

Typ výsledku

Vyžádané přednášky

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/14:00084284

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

model checking; formal methods; parameter synthesis; parametric uniformisation

---

Anotace

V originále

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.