Étant donné Démonstration formelle qu'un système ou un composant est conforme aux exigences spécifiées et acceptable pour une utilisation opérationnelle., doit-on supposer que Les systèmes doivent passer l'inspection avant utilisation. est "vrai", "faux", ou "incertain" ?