TITLE:
Formal methods from computer science to treat temporal properties of
biological regulatory networks, applied to cytotoxicity in Pseudomonas
aeruginosa.

AUTHORS:
Gilles BERNOT, Jean-Paul COMET, Janine GUESPIN

ABSTRACT:
Based on the discrete definition of biological regulatory networks
developped by René Thomas, we provide a computer science formal
approach to treat temporal properties of biological regulatory
networks, expressed in Computational Tree Logic.  It is then possible
to build all the models satisfying a set of given temporal properties.
Our approach is illustrated with the cytotoxicity in Pseudomonas
aeruginosa. This application of formal methods from computer science
to biological regulatory networks should open the way to many other
fruitful applications.

KEYWORDS:
biological regulatory networks, formal methods, temporal logic,
model checking.