É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., dois-je supposer que Les démonstrations formelles ne sont pas nécessaires pour certifier un système. est "vrai", "faux", ou "incertain" ?