- Computer Science Laboratory Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique

LIP6 supports the Pink October campaign for breast cancer awareness.

Séminaire MoVe

Efficient Static Analysis of Dynamical Properties using the Process Hitting

Martedì 10 gennaio 2012
Loïc Paulevé (Post-doctorant LIX/AMIB)

We propose a modeling technique for biological regulatory networks. We show how to analyse such models with a method called Process Hitting, based on static interpretation of reachability properties and fix-point operations. We illustrate this approach with several experiments.


Beatrice.Berard (at) nulllip6.fr