Ein Formeller Nachweis , dass ein System oder eine Komponente den festgelegten Anforderungen entspricht und für den Betrieb akzeptabel ist .
Formelle Demonstrationen sind nicht notwendig , um ein System zu zertifizieren .