Dimostrazzjoni formali li sistema jew komponent jikkonforma mar-rekwiżiti speċifikati tiegħu u huwa aċċettabbli għall-użu operattiv.
Hemm spezzjonijiet separati għal użu operattiv u użu mhux operattiv.