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.
| DocumentType |
Standard
|
| Pages |
23
|
| PublisherName |
International Organization for Standardization
|
| Status |
Current
|
| Standards | Relationship |
| DS/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
Important note : Users cannot be edited or removed once added to your Multi user PDF.