Une démonstration formelle selon laquelle un système ou un composant satisfait à ses exigences spécifiées et est acceptable pour une utilisation opérationnelle .
Il existe des inspections distinctes pour l' utilisation opérationnelle et l' utilisation non opérationnelle .