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