GSO TC08/DS1 ISO/IEC 24029-2:2025
ISO/IEC 24029-2:2023
Initial Draft of Gulf Standard
·
English
·
Prepared By
DGSM
Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
الذكاء الاصطناعي (AI) - تقييم قوة الشبكات العصبية - الجزء 2: منهجية استخدام الأساليب الرسمية
Stage DS :
{{'Committee draft ({0}) released on {1} and is open for members comments until {2}' | dictionary([project.latestAcceptedEdition,formatDate(project.latestAcceptedVersionAcceptanceDate),formatDate(project.deadline)]) }}
{{'Committee draft ({0}) released on {1} and members comments period closed on {2}' | dictionary([project.latestAcceptedEdition,formatDate(project.latestAcceptedVersionAcceptanceDate),formatDate(project.deadline)]) }}
{{'Draft ({0}) released on {1} and is open for public comments until {2}' | dictionary([project.latestAcceptedEdition,formatDate(project.latestAcceptedVersionAcceptanceDate),formatDate(project.deadline)]) }}
{{'Draft ({0}) released on {1} and the public comment period closed on {2}' | dictionary([project.latestAcceptedEdition,formatDate(project.latestAcceptedVersionAcceptanceDate),formatDate(project.deadline)]) }}
{{'No draft available currently. Project was fully rejected and waiting a new draft' | dictionary }}
{{'Final draft ({0}) accepted on {1} and waiting final approval' | dictionary([project.latestAcceptedEdition,formatDate(project.latestAcceptedVersionAcceptanceDate)]) }}
{{'No final draft available. Project was partially rejected. Waiting a new final draft' | dictionary }}
{{lang == 'ar' ? (project.stageHintAr ? project.stageHintAr : project.stageDescAr) : (project.stageHintEn ? project.stageHintEn : project.stageDescEn) }}
Basic Details
Related Standards
Information Sector
Proposed and Prepared by
DGSM
International Classification of Standards (ICS)
35.020.0
—
Information technology (IT) in general
Sustainable Development Goals (SDG)
9
Industry, Innovation and Infrastructure
Build resilient infrastructure, promote inclusive and sustainable industrialization and foster innovation
Project Scope
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.
توفر هذه الوثيقة منهجية لاستخدام الطرق الرسمية لتقييم خصائص قوة الشبكات العصبية. تركز الوثيقة على كيفية اختيار وتطبيق وإدارة الطرق الرسمية لإثبات خصائص المتانة.