 "Démonstration formelle qu'un système ou un composant est conforme aux exigences spécifiées et acceptable pour une utilisation opérationnelle."
Sur la base de ces informations, l'énoncé est-il : "Les démonstrations formelles ne sont pas nécessaires pour certifier un système." ? "vrai", "faux", ou "incertain" ?