verifikace

Verifikace (z latinského verum facere, cinit pravdivým) je overování, kontrola pravdivosti výroku, hypotézy, argumentu, logického systému, nebo funkce prístroje konfrontací s fakty, nebo overování platnosti úsudku formální analýzou.