Verifikation er en bekræftelse eller undersøgelse der bekræfter rigtigheden af noget specifikt.

Som eksempel kan angives at der i forbindelse med hard- og software-systemer skal det verificeres at anvendte algoritmer opfylder stillede krav.

Kategori:Teoretisk datalogi Kategori:Logik