AI Assurance DirectorySafety engineering
PyRAT
Evidence strength: Moderate How this is scored
CEA List neural-network verifier (Python Reachability Assessment Tool) using abstract interpretation. Site: VNN-COMP 2024 second place, all 12 regular-track benchmarks, more than 1700 properties, ACAS-XU collision-avoidance example. CAISAR news ranks PyRAT third at VNN-Comp 2026.
Certification evidence
Cited literature: 1 DO-178C / related aerospace guidance requirement — see which with Pro
Cited literature: 1 EASA AI Concept Paper objective — 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) and EASA AI Concept Paper (1 objective).
Cited literature: Verifying Neural Networks with PyRAT (SAS 2025, 2025) — 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
- CEA List (AISER team)
- Type
- Commercial
- Official site
- https://www.pyrat-analyzer.com/
- 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.