Formal verification Archives - AI Standards Hub

Formal verification

ISO/IEC NP TS 12831 - 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: 11 May 2023

ISO/IEC NP 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: 11 May 2023

ISO/IEC DIS 24029-2

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

Draft

Last Updated: 11 May 2023

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