This biological modelling tool illustrates signaling pathways and determines cellular stabilization. It enables users to draw a biological system of interest by dragging and dropping cells, their contents, extracellular components, and relationships onto a simple canvas. 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.
|Type||Web application or service|
|Date Published||1 December 2011|