A portal site for systems biology.

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

http://contraintes.inria.fr/BIOCHAM/