Formal verification Archives - AI Standards Hub

Formal verification

ETSI TR 104032 V 1.1.1

Securing Artificial Intelligence (SAI) – Traceability of AI Models

See more details

Horizontal AI-specific Formal verification Security and resilience

Foundational and terminology Measurement and test methods

See more

The NWI will study the role of traceability in the challenge of Securing AI and explore issues related to sharing…

Published

Last Updated: 14 Jan 2025

DIN SPEC 92005

Artificial Intelligence – Uncertainty quantification in machine learning; Text in English

See more details

Horizontal AI-specific Formal verification Measurement and test methods

Process, management and governance

See more

This DIN SPEC has been developed within a DIN SPEC consortium. The document was developed and approved by organizations named…

Published

Last Updated: 31 Oct 2024

VDI/VDE 3714 Blatt 6

Implementation and operation of big data applications in the manufacturing industry – Validation of models

See more details

Manufacturing AI-specific Formal verification System quality

Measurement and test methods

See more

Although the term “Big Data” has been used for several years, it continues to be associated with very different topics…

Published

Last Updated: 31 Oct 2024

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