AI Assurance DirectoryAI assurance & verification
NNV (Neural Network Verification Toolbox)
Evidence strength: Moderate How this is scored
MATLAB toolbox for set-based neural-network verification using Star sets and zonotopes. 10+ architectures and 48 layer types; ONNX and VNNLIB. Official aerospace domain and all 45 ACAS Xu networks. AFOSR, DARPA and NSF.
Certification evidence
Cited literature: 1 DO-178C / related aerospace guidance requirement — see which with Pro
Analyst assessment: 1 NIST AI RMF function or subcategory — see which with Pro
Certification relevance. peer-reviewed or agency literature maps it to DO-178C / related aerospace guidance (1 requirement).
Cited literature: NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems (CAV 2020, 2020) — a named DO-178C / related aerospace guidance requirement.
Paper or report · 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 literature 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
- VeriVITAL, Vanderbilt University
- Type
- Open source
- Official site
- https://verivital.github.io/nnv/
- Industries
- Frameworks named on cited source
- None tagged. The cited pages do not name a framework we cover.
- Last verified
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.