Biological research Cloud-based modelling tool Bio Model Analyzer. Bio Model Analyzer is a biological modelling tool that illustrates signalling pathways and determines cellular stabilization. Tool allow the researchers to quickly test many more possibilities than were previously possible. The tool is open source.

At one level, Bio Model Analyzer is a sketching tool that enables users to draw out a biological system of interest (e.g. a genetic regulatory network) by dragging and dropping cells, their contents (DNA, proteins, etc.), extracellular components and relationships onto a simple canvas. At another level, Bio Model Analyzer’s analysis proves stabilization of biological systems, based upon formal methods that were developed for the specification and verification of properties in concurrent software systems.

You can find the source code on GitHub.