标准摘要
[中文适用范围]： 本文件提供了使用形式化方法评估神经网络稳健性的方法。本文件重点介绍如何选择、应用和管理形式化方法来证明稳健性。 [外文原描述]： 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.
英文名称Artificial intelligence (AI) - Assessment of the robustness of neural networks - Part 2: Methodology for the use of formal methods