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 firstname.lastname@example.org in future with any queries or bugs