标准 · 2023.08
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
资料概述
给出使用形式化方法评估神经网络鲁棒性的方法论，涉及形式化方法的选择、应用和管理，可支持工程师为安全相关应用中的 ML 组件构建验证证据。
版本: Edition 1