Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Bio Model Analyzer

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.


TypeWeb application or service
Date Published1 December 2011