التحقق من المواصفات الرسمية لتكنولوجيا المعلومات والاتصالات

التحقّق من قدرات الخوارزمية أو النظام المقصود وصحته وكفاءته لمطابقة مواصفات رسمية معينة.