Séminaire MoVe


Efficient Static Analysis of Dynamical Properties using the Process Hitting

Tuesday, January 10, 2012
Speaker(s) : 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