A Hybrid Hoare Logic for Gene Network Models

Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette

The main difficulty when modelling gene networks is the identification of the parameters that govern their dynamics. It is particularly difficult for models in which time is contin…