AI Assurance DirectoryAI assurance & verification
ERAN
Evidence strength: Moderate How this is scored
ETH SRI Lab Apache-2.0 analyzer (DeepZ, DeepPoly, GPUPoly) for complete and incomplete verification of feedforward, convolutional and residual networks, including ACAS Xu. Python 3.6+ and TensorFlow 1.11+. Uses ELINA; Gurobi for RefineZono/RefinePoly.
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: The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results (FoMLAS 2021, collocated with CAV 2021 (arXiv:2109.00498), 2021) — 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
- SRI Lab, ETH Zurich
- Type
- Open source
- Open source
- Open source · Apache-2.0 on the official repository https://github.com/eth-sri/eran. Badge is used only when that repo shows an OSI-approved license.
- Official site
- https://github.com/eth-sri/eran
- 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.