# Paris/biocham

### From 2007.igem.org

< Paris

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.