Supposons qu'il soit vrai que "Démonstration formelle qu'un système ou un composant est conforme aux exigences spécifiées et acceptable pour une utilisation opérationnelle.",
 Donc, "Les systèmes doivent passer l'inspection avant utilisation." ? "vrai", "faux", ou "incertain" ?