Paris/biocham
From 2007.igem.org
< Paris(Difference between revisions)
m (Paris\biocham moved to Paris/biocham) |
|||
| Line 1: | Line 1: | ||
{{Paris_menu_modeling}} | {{Paris_menu_modeling}} | ||
| + | |||
| + | |||
| + | |||
| + | [http://contraintes.inria.fr/BIOCHAM/ 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. | ||
Latest revision as of 19:26, 25 October 2007
[http://contraintes.inria.fr/BIOCHAM/ 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.
