AI Assurance DirectoryAI assurance & verification
MathWorks AI Verification Library for Deep Learning Toolbox
Evidence strength: Strong How this is scored
Formal robustness verification, output bounds, adversarial examples and out-of-distribution detection for MATLAB, ONNX and PyTorch networks, with airborne runway-sign and ACAS Xu worked examples.
Certification evidence
Maps to 2 DO-178C / related aerospace guidance requirements — see which with Pro
Maps to 1 ARP4754B requirement — see which with Pro
Analyst assessment: 2 EASA AI Concept Paper objectives — see which with Pro
Analyst assessment: 1 FAA AI Roadmap requirement — see which with Pro
Analyst assessment: 1 NIST AI RMF function or subcategory — see which with Pro
Certification relevance. Cited pages map this listing to DO-178C / related aerospace guidance (2 requirements) and ARP4754B (1 requirement).
Cited page: MathWorks: Verify an Airborne Deep Learning System — a named DO-178C / related aerospace guidance requirement.
Cited page · The quoted wording is Pro.
Listing detail and source evidence (Pro)
Included on Pro, Team and Enterprise. Public summaries, tags and official links on this page stay free.
Cited mappings and analyst assessments (Pro)
Included on Pro, Team and Enterprise. Public summaries, tags and official links on this page stay free.
Procurement evidence pack (Pro) — print cited mappings and analyst notes. The print view is not on this page.
- Vendor / publisher
- MathWorks
- Type
- Commercial
- Official site
- https://www.mathworks.com/help/deeplearning/verification.html
- Industries
- Frameworks named on cited source
- Last verified
- (blocked on cited-URL check)
Listing is not an endorsement, certification or recommendation. Capabilities, availability and framework support can change. Confirm with the vendor and the relevant authority. See the disclaimer.