Bio Model Analyzer is a biological modelling tool that illustrates signalling pathways and determines cellular stabilization. This tool basically allows the researchers to quickly test many more possibilities than were previously possible. Microsoft Research today announced that they are open sourcing this tool.
More about this tool,
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 of this tool on GitHub.