BioSimulations Logo - Bio and Simulations are bisected by a circular icon of two arrows interwoven like a DNA molecule

Model Verification Hub

Cross-verify SBML/SED-ML models across multiple independent simulation solvers (AMICI, COPASI, PySCeS, Tellurium, VCell). Quantify numerical equivalence, detect solver-specific outliers, and inspect time-series concordance.

1 Provide COMBINE/OMEX Archive

Upload a local archive, specify a public URL, or select from completed runs. Compatibility is evaluated automatically.

Drop COMBINE/OMEX archive here
or click to browse from your device
Accepted formats:.omex.zip