Utilities
Discover and execute tools to validate models, author simulation experiments, verify numerical reproducibility across solvers, and inspect COMBINE archives.
Validate Model
Verify syntax, semantics, and compliance of computational models against COMBINE standards across 9 supported languages (SBML, CellML, BNGL, Smoldyn, etc.).
Validate Simulation (SED-ML)
Verify syntax, MathML formulas, and KiSAO algorithms of Simulation Experiment Description Markup Language (SED-ML) files across Level 1 (V1–V4).
Verify Model (BioCheckNet)
Multi-solver simulation verification engine to cross-compare trajectories, quantify numerical concordance, and flag outliers.
Describe Visualizations
Explore supported biological visualization frameworks including Vega data specifications, Escher metabolic maps, and SBGN pathways.
Suggest Simulator
Traverse the KiSAO ontology graph to find compatible simulation algorithms and discover matching BioSimulators execution engines.
Validate Simulator
Verify that a containerized simulation engine complies with BioSimulators Docker specifications and standard execution interfaces.
Validate Metadata
Validate OMEX metadata annotations in RDF/XML, Turtle, NTriples, and JSON-LD formats against BioSimulations and RDF triple schemas.
Validate COMBINE Project
Validate full COMBINE/OMEX archives with granular verification of manifests, SED-ML files, models, and metadata.
New Simulation Experiment
Step-by-step wizard to configure SED-ML simulation experiments, modify initial conditions, and assemble runnable COMBINE archives.