Output details

At the interface of biology and computation

<28>This paper describes the development of a tool, Bio Model Analyser, which provides the first-known scalable solution to the important problem of automatically proving stabilization of biological models (e.g. models of genetic regulatory networks). The tool allows for the visual development of models as well as analysis. Example systems used include previously published models of mammalian epidermis, leukaemia, type-2 diabetes, fate determination of vulval precursor cells in the C. elegans worm, and pair-rule regulation during segmentation in the Drosophia embryo. This tool is now being used by pharmaceutical/biology researchers and has led to a joint development between Amgen and Microsoft.