title: Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli.
abstract: BACKGROUND
  The modeling and simulation of genetic regulatory networks have created the need for tools for model validation. The main challenges of model validation are the achievement of a match between the precision of model predictions and experimental data, as well as the efficient and reliable comparison of the predictions and observations.
  
  
  RESULTS
  We present an approach towards the validation of models of genetic regulatory networks addressing the above challenges. It combines a method for qualitative modeling and simulation with techniques for model checking, and is supported by a new version of the computer tool Genetic Network Analyzer (GNA). The model-validation approach has been applied to the analysis of the network controlling the nutritional stress response in Escherichia coli.
  
  
  BACKGROUND
  GNA and the model of the stress response network are available at http://www-helix.inrialpes.fr/gna.
authors.affiliation: INRIA Rhône-Alpes Montbonnot, France.
authors.forename: Grégory
authors.initials: G
authors.lastname: Batt
authors.forename: Delphine
authors.initials: D
authors.lastname: Ropers
authors.forename: Hidde
authors.initials: H
authors.lastname: de Jong
authors.forename: Johannes
authors.initials: J
authors.lastname: Geiselmann
authors.forename: Radu
authors.initials: R
authors.lastname: Mateescu
authors.forename: Michel
authors.initials: M
authors.lastname: Page
authors.forename: Dominique
authors.initials: D
authors.lastname: Schneider
mesh_terms: D018407:Bacterial Physiological Phenomena; D019295:Computational Biology / Q000379:methods*; D003198:Computer Simulation; D004926:Escherichia coli / Q000378:metabolism* / Q000502:physiology; D005798:Genes, Bacterial; D008954:Models, Biological; D008957:Models, Genetic; D015203:Reproducibility of Results; D012984:Software; D049490:Systems Biology; D013997:Time Factors