Team Contraintes

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: Software

BIOCHAM

Participants : François Fages, Sylvain Soliman.

The Biochemical Abstract Machine BIOCHAM is a modeling and validation environment for molecular systems biology. BIOCHAM provides precise semantics to biomolecular interaction maps at three abstraction levels:

  1. the boolean semantics (presence and absence of molecules),

  2. the differential semantics (concentrations of molecules),

  3. the stochastic semantics (discrete numbers of molecules).

Based on this formal framework, BIOCHAM offers:

BIOCHAM is fully implemented in GNU-Prolog and interfaced to the state-of-the-art symbolic model checker NuSMV and to the optimization tool CMAES .


previous
next

Logo Inria