You can upload (or access at a URL) a file in SBML format and have its syntax and internal consistency tested. All specifications of SBML are supported, including Level 2 Version 3 Release 2. Passing this validator doesn't guarantee the file is 100% correctly formatted SBML, but it's the best automated assessment available.

In the form below, select an SBML file on your computer, or type the URL of an SBML file located on another computer. The file can be uncompressed, or compressed using zip, gzip or bzip2.

e.g. C\:Program Files\SBML\MyModels\l2v1-branch.xml
Options:

Check consistency of measurement units associated with quantities (SBML L2V3 rules 105nn)

Check correctness and consistency of identifiers used for model entities (SBML L2V3 rules 103nn)

Check syntax of MathML mathematical expressions (SBML L2V3 rules 102nn)

Check validity of SBO identifiers (if any) used in the model (SBML L2V3 rules 107nn)

Perform static analysis of whether the model is overdetermined

Perform additional checks for recommended good modeling practices

Perform all other general SBML consistency checks (SBML L2v3 rules 2nnnn; highly recommended)

Your file must be uploaded and temporarily stored on this server so that it can be processed by the validation program. Your file will be used only for that purpose. In the event that the validator itself exhibits errors, the SBML Team may need to inspect your file to ascertain the cause. Your file will not willingly be passed to any third party, and it will automatically be deleted after a period of time. By clicking on the "Check" button above, you grant the SBML Team the right to access and store your file for these purposes. If you are concerned about the privacy of your model, you may instead wish to download libSBML (which contains the validator) and run it on your private computer. No one associated with the SBML project, its hosting institutions, or anyone else, will be held liable for any breaches of privacy involving this online service.

Limitations: (1) The content of SBML <annotation> elements is only checked to be proper XML. No additional <annotation> validation is performed; thus a model may have errors in the annotations yet still pass validation. (2) For performance reasons, the file size limit for this service is 15 megabytes. (3) Only the HTTP protocol is supported for URLs; i.e., addresses that begin with http://. Other protocols such as https://, ftp://, etc., are not supported.

The online SBML Validator has been written by Benjamin J. Bornstein, Akiya Jouraku and Michael Hucka. It is an interface to the validation engine built into libSBML 3.2.0, principally written by Sarah M. Keating and Benjamin J. Bornstein.

You can bundle this validator in your program or use it remotely over the web.