Accueil UNamur > Agenda > Model checking of biological systems

Model checking of biological systems

The FOCUS research group has the pleasure to invite you to the following invited lecture given by David Safranek, professor at the Faculty of Informatics, Masaryk University, in Brno, Czechoslovakia.

Catégorie : conférence/cours/séminaire (spécialisé)
Date : 09/05/2014 14:00 - 09/05/2014 17:00
Lieu : I33
Orateur(s) : David Safranek
Organisateur(s) : FOCUS Research Group

Abstract of the lecture

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. We also give a brief account of high performance model checking techniques and add a few case studies that demonstrate the use of model checking in computational systems biology. The primary aim of the talk is to give a brief overview of the topic with references for further reading.

Contact : Wim Vanhoof - 4977 -
Télecharger : vCal