Validate Simulation Experiment

Verify the syntax, semantics, and compliance of Simulation Experiment Description Markup Language (SED-ML) files against COMBINE specifications (Level 1 Version 1 through Version 4).

Documentation

Input Source & Settings

Select a local file or provide a public URL to validate.

Format & Specification SED-ML Specs

Simulation Experiment Description Markup Language (SED-ML) defines models, simulation algorithms, tasks, outputs, and data generators.

Supported Extensions:.sedml.xml

Input Method

Drop SED-ML simulation file here

or click to browse from your device

Accepted formats:.sedml.xml

Local & CI/CD Validation

Validate your SED-ML file locally from the command line using biosimulators-utils.

biosimulators-utils validate-simulation path/to/simulation.sedml

SED-ML Validation Standards

Schema & Namespace Compliance: Validates strict compliance with official SED-ML schemas across Level 1 (Versions 1, 2, 3, and 4).

MathML & Expression Checking: Verifies that mathematical formulas in data generators, variable computations, and parameter changes are valid, well-formed MathML.

KiSAO Ontology Verification: Ensures all simulation algorithms and algorithm parameters reference valid Kinetic Simulation Algorithm Ontology (KiSAO) identifiers.

Looking to validate linked model files? Single-file SED-ML validation verifies experiment syntax and structure. To validate SED-ML experiments together with referenced models (e.g. SBML, CellML) inside an archive, use Validate COMBINE/OMEX Project .