- Computer Science Laboratory LIP6 supports the Pink October campaign for breast cancer awareness.

Séminaire MoVe

RSS

Efficient Static Analysis of Dynamical Properties using the Process Hitting

Вторник, январь 10, 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