Kvantitativní hodnocení toho, zda spustitelný prohlášení v kódu se přesné výpočty vyžadované v matematických vzorcích.