Become a Member

Regulation TrackerLaws, orders and treaties read for their security duties and clocks Standards & FrameworksAttack taxonomies, control catalogues and frontier frameworks AI Incident DatabaseThe security incident record, with mechanism and lesson Research Paper LibraryThe papers that define the field, summarised OSS DirectoryRed teaming, guardrail, supply chain and evaluation tools Case StudiesProgrammes built, with measured outcomes AI Vulnerability TrackerCVEs and advisories for the components AI systems are built from

Latest in the tracker

New York Stop Addictive Feeds Exploitation (SAFE) for Kids Act and implementing rulesNew York's law restricting algorithmic feeds for minors takes effect on 25 January 2027 under final rules published in July 2026, with certified age assurance and $5,000-per-violation penalties.

Knowledge Base Regulation Tracker Standards & Frameworks OSS Directory AI Incident Database Research Paper Library Case Studies Society Articles News Jobs About Charter Become a Member

Home/Standards & Frameworks/ISO/IEC 24029-2:2023

ISO/IEC 24029-2:2023

Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods

Specifies how to apply formal verification methods to establish robustness properties of neural networks, including how to state properties and document results. The first normative SC 42 standard on robustness assessment.

robustnessformal methodsverification

Sources

iso.orghttps://www.iso.org/standard/79804.html

Contribute

Spot an error, or know a record we should add? Members can propose additions and submit corrections.

Add standard Report a correction or request removal