From Formal Methods to Systems Biology

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F14%3A00084284" target="_blank" >RIV/00216224:14330/14:00084284 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

From Formal Methods to Systems Biology

Popis výsledku v původním jazyce

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 temporallogics. 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.

Název v anglickém jazyce

From Formal Methods to Systems Biology

Popis výsledku anglicky

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 temporallogics. 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.

Druh

O - Ostatní výsledky

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů