Supposons 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.", pouvons-nous déduire que "Les systèmes doivent passer l'inspection avant utilisation." ? "vrai", "faux", ou "incertain" ?