title: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge.
abstract: BIOCHAM (the BIOCHemical Abstract Machine) is a software environment for modeling biochemical systems. It is based on two aspects: (1) the analysis and simulation of boolean, kinetic and stochastic models and (2) the formalization of biological properties in temporal logic. BIOCHAM provides tools and languages for describing protein networks with a simple and straightforward syntax, and for integrating biological properties into the model. It then becomes possible to analyze, query, verify and maintain the model with respect to those properties. For kinetic models, BIOCHAM can search for appropriate parameter values in order to reproduce a specific behavior observed in experiments and formalized in temporal logic. Coupled with other methods such as bifurcation diagrams, this search assists the modeler/biologist in the modeling process.
  
  
  BACKGROUND
  BIOCHAM (v. 2.5) is a free software available for download, with example models, at http://contraintes.inria.fr/BIOCHAM/.
authors: Projet Contraintes, INRIA Rocquencourt, BP105, 78153 Le Chesnay Cedex, France.
authors: Laurence
authors: L
authors: Calzone
authors: François
authors: F
authors: Fages
authors: Sylvain
authors: S
authors: Soliman