AI & Functional Safety: Formal Verification of Neural Networks — What Works Today

Date
2026-12-21
Location
Online
Host
Zach L

About this event

A live 30-minute expert session on Formal Verification of Neural Networks — What Works Today (AI / ML — AI & Machine Learning Safety). What We'll Cover: What formal NN verification is and where it fits alongside testing in a verification strategy Step by step: specify the property (local robustness, output bounds), select a tool (Marabou, alpha-beta-CROWN style), interpret sound vs complete results How proved properties map to verification claims in the safety case and the certificates they produce Common mistakes: verifying toy properties that don't correspond to any system-level hazard The property specifications, tool qualification rationale and proof artifacts an assessor needs to credit formal results Related topics: neural network verification · formal methods ml · robustness verific

Topics

Registration

View event page

About Functional Safety Foundations

This online session delivers expert-led instruction on the regulatory landscape and implementation approach for Functional Safety Foundations.

The cross-sector fundamentals underlying every functional safety standard: risk as severity × likelihood, the safety function concept, integrity levels, the safety lifecycle, and the split between random and systematic failures.

What it regulates

Shared vocabulary and reasoning: hazard → risk → risk reduction allocation → safety requirement → verified implementation → maintained integrity in operation.

Who must comply

Everyone entering the field — the conceptual base of the entire catalog.

Key requirements of Functional Safety Foundations

  • Hazard and risk fundamentals
  • Safety function anatomy: sensor-logic-actuator with defined safe state
  • Integrity ladders (SIL/PL/ASIL/DAL) as risk-reduction currencies
  • Random vs systematic failure treatment
  • Lifecycle and management of functional safety incl. competence

Key concepts: Functional Safety Foundations

Functional safety management
Planning, competence, documentation and assessment wrapped around technical work.
Random vs systematic
Hardware wear-out/chance failures quantified statistically versus design/process errors controlled by rigor.
Risk reduction allocation
Distributing required risk reduction among mechanical design, safeguards, control functions and procedures.
Safe state
The defined condition a function drives the equipment to on demand or fault.

Frequently asked questions: Functional Safety Foundations

Why can't testing alone prove safety?

Rare-event targets (like 1e-7/h) are unverifiable by test duration, and systematic errors evade random testing — hence the standards' dual machinery of quantified hardware analysis plus process rigor and independent assessment.

Standard information based on the published text of Functional Safety Foundations. Event content is provided by the host. For authoritative guidance, consult the official standard body.