 "Démonstration formelle qu'un système ou un composant est conforme aux exigences spécifiées et acceptable pour une utilisation opérationnelle."
En utilisant uniquement la description ci-dessus et ce que vous savez du monde, "Les démonstrations formelles ne sont pas nécessaires pour certifier un système." est-ce "vrai", "faux", ou "incertain" ?