['contradiction']
A formal demonstration that a system or component complies with its specified requirements and is acceptable for operational use.
הדגמה רשמית שמערכת או רכיב עומדים בדרישות המפורטות שלו ומתקבלים לשימוש תפעולי.
Formal demonstrations aren't necessary to certify a system.
הדגמות פורמליות אינן הכרחיות כדי לאשר מערכת.