(1) ضمانة خطية أن نظام أو مكون يتوافق مع متطلباتها المحددة، وهو مقبول للاستخدام العملي. على سبيل المثال، ترخيص كتابي أن جهاز كمبيوتر آمنة ومسموح لتعمل في environment.~(2) معرفة إثبات رسمي أن نظام أو مكون يتوافق مع احتياجاتها المحددة، وهو مقبول بالنسبة use.~(3) التنفيذية عملية التأكد من أن نظام أو مكون يتوافق مع متطلباتها المحددة، وهو مقبول للاستخدام العملي.