Section: New Software and Platforms
BIOCHAM
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.