Both cited pages are research verifiers that name ACAS Xu. Marabou is an SMT-based verifier (ONNX, VNNLIB, maraboupy). NNV is a MATLAB toolbox using Star sets and zonotopes. Not a certification.
Built only from the cited fields already on Marabou and NNV (Neural Network Verification Toolbox). Not a ranking, certification or recommendation. Public summary columns stay on this page. Quoted evidence, who-it-is-for, deployment, caveats and coverage-cell quotes are Pro.
| Field | Marabou | NNV (Neural Network Verification Toolbox) |
|---|---|---|
| Vendor / publisher | Neural Network Verification project (Stanford and collaborators) | VeriVITAL, Vanderbilt University |
| Type | Open source · AI assurance & verification | Open source · AI assurance & verification |
| Official site | https://github.com/NeuralNetworkVerification/Marabou | https://verivital.github.io/nnv/ |
| Industries (cited page) | Aerospace & aviation | Aerospace & aviation |
| Frameworks named on cited source | None tagged | None tagged |
| Open source (OSI license on official repo) | Open source · BSD-3-Clause | Not an OSI-licensed official repo on this listing |
| Summary (from listing) | SMT-based neural-network verifier (Marabou 2.0). ONNX main format; also .nnet, TensorFlow and VNNLIB. pip install maraboupy (Python 3.8–3.11). Default: DeepPoly bound tightening and DeepSoI. Optional Gurobi, parallelism and Split-and-Conquer. ACAS Xu example. Research product. | 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. |
| Last verified | 2026-10-14 | 2026-10-14 |
| Cited coverage (counts only) | No cited coverage cells in this bundle | No cited coverage cells in this bundle |
| Analyst assessments (counts only) | Analyst assessment: 1 NIST AI RMF function or subcategory — see which with Pro | Analyst assessment: 1 NIST AI RMF function or subcategory — see which with Pro |
Included on Pro, Team and Enterprise. Public summaries, tags and official links on this page stay free.
Yes. The Marabou GitHub page names an ACAS Xu example. The NNV page names all 45 ACAS Xu networks and an official aerospace domain.
No. Both listings are open-source research verifiers. Marabou is described as a research product. NNV names AFOSR, DARPA and NSF support.
The cited project pages used for these listings do not name DO-178C, so that framework is not tagged. Absence of a tag is not a finding that the tool cannot be used on a project.
AI Assurance Directory