BIOCHAM is a programming environment for modeling biochemical systems, making simulations and querying the model in temporal logic.

In its current version BIOCHAM is composed of :

  • a rule-based language for modeling biochemical systems,
  • a simple simulator (either boolean or numerical),
  • a powerful query language based on temporal logic, CTL or LTL with arithmetic constraints over reals, for querying the temporal properties of the model,
  • an interface to the NuSMV model checker for evaluating CTL queries,
  • a machine learning system for correcting/completing a model, either by changing rules w.r.t. a CTL specification or by estimating parameters w.r.t. an LTL specification.