Étant donné 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., il doit donc être vrai que Les démonstrations formelles ne sont pas nécessaires pour certifier un système. ? "vrai", "faux", ou "incertain" ?