Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Software and Platforms


The Biochemical Abstract Machine

Keywords: Systems Biology - Bioinformatics

Functional Description

The Biochemical Abstract Machine (BIOCHAM) is a software environment for modeling and analyzing biochemical reaction systems, performing static analyses, making simulations, specifying behaviors in temporal logic and searching parameter values in high dimension.

This year BIOCHAM has been completely rewritten with a modular architecture. The new version v4.0 will be released soon with new features for synthesizing biochemical reaction systems from input/output function specifications.