Dimostrazzjoni formali li sistema jew komponent jikkonforma mar-rekwiżiti speċifikati tiegħu u huwa aċċettabbli għall-użu operattiv.
Dimostrazzjonijiet formali mhumiex meħtieġa biex tiċċertifika sistema.