ISO/IEC 24029-2:2023
Current
Current
The latest, up-to-date edition.
Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
Available format(s)
Hardcopy , PDF
Language(s)
English
Published date
01-08-2023
€130.00
Excluding VAT
This document provides methodology for the use of formal methods to assess robustness properties of neural networks. The document focuses on how to select, apply and manage formal methods to prove robustness properties.
| Committee |
ISO/IEC JTC 1/SC 42
|
| DocumentType |
Standard
|
| Pages |
23
|
| PublisherName |
International Organization for Standardization
|
| Status |
Current
|
| Standards | Relationship |
| DS/ISO/IEC 24029-2:2023 | Identical |
| NS-ISO/IEC 24029-2:2023 | Identical |
| BS ISO/IEC 24029-2:2023 | Equivalent |
| IS/ISO/IEC 24029 : Part 2 : 2023 | Identical |
| AS ISO/IEC 24029.2:2024 | Identical |
| AAMI CR515:2025 | Cybersecurity considerations unique to machine learning–enabled medical devices |
Summarise
Access your standards online with a subscription
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.
Important note : Users cannot be edited or removed once added to your Multi user PDF.