International Federation of Automatic Control (IFAC), IFAC papers online, 2(47), p. 170-175, 2014
DOI: 10.3182/20140514-3-fr-4046.00135
Full text: Download
Regulatory and signalling networks control cell behaviours in response to envi-ronmental cues. The logical formalism has been widely employed to study these interaction networks, which are modelled as discrete dynamical systems. While biologists identify networks encompassing more and more components, properties of biological relevance become hard to verify. Here, we report on the use of model-checking techniques to address this challenge. This approach is illustrated by an application dealing with the modelling of T-helper lymphocyte differentiation.