BioModelAnalyzer has moved!

BioModelAnalyzer is a tool for the construction and analysis of executable biological models. It combines a unique user interface with algorithms and techniques from the field of formal verification to allow for model analysis.

We moved to a new location at http://biomodelanalyzer.org/

Models created in the previous version of the tool are available below and should be downloaded and re-imported in the new website.

Please contact biomodelanalyzer@outlook.com in future with any queries or bugs