AI Assurance DirectorySafety engineering
CAISAR
Evidence strength: Moderate How this is scored
CEA List open-source platform (CAISAR 6.0, June 2026) for characterizing AI safety and robustness. WhyML specifications discharged by PyRAT, Marabou, nnenum, alpha-beta-CROWN and others. Examples include functional properties of ACAS Xu.
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 CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification (iFM 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
- Type
- Open source
- Official site
- https://caisar-platform.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.