표준 · 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