Formal verification Archives - AI Standards Hub

Formal verification

ISO/IEC AWI TS 17847 ISO/IEC NP TS 17847 -

Information technology – Artificial intelligence – Verification and validation analysis of AI systems

See more details

Horizontal AI-specific Formal verification Risk management

System lifecycle System quality Measurement and test methods Process, management and governance

See more

This document describes approaches and provides guidance on processes for the verification and validation analysis of AI systems (comprising AI…

Pre-draft

Last Updated: 18 Jul 2024

ISO/IEC NP TS 12831

Information technology – Artificial intelligence – Testing for AI Systems

See more details

Horizontal AI-specific Accuracy and performance Formal verification

System lifecycle Measurement and test methods

See more

This document describes testing techniques (including those described in ISO/IEC/IEEE 29119-4) applicable for AI systems in the context of the…

Pre-draft

Last Updated: 18 Jul 2024

ISO/IEC 24029-2:2023

Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods

See more details

Horizontal AI-specific Formal verification Robustness

Measurement and test methods

See more

Published

Last Updated: 18 Jul 2024

Research and analysis item

Strategic Research Agenda supporting the EMN Mathmet by addressing EURAMET’s key priorities and challenges in mathematics and statistics in metrology

See more details

Topic:

Assurance and testing Formal verification Measurement Robustness System quality Trustworthy AI

Domain:

See more

This document constitutes the Strategic Research Agenda (SRA) for the European Metrology Network for Mathematics and Statistics in Metrology (EMN…

Last Updated: 12 May 2023