Verifikace: Porovnání verzí
Smazaný obsah Přidaný obsah
m Upřesnění formální verifikace pro počítačové systémy. |
m oprava odkazu na rozcestník nebo redirect, Karl Popper → Karl Raimund Popper |
||
Řádek 1:
(Z [[latina|latinského]] verum facere, činit pravdivým.) Ověřování, kontrola pravdivosti [[výrok]]u, [[hypotéza|hypotézy]], [[argument]]u, logického systému, nebo funkce přístroje konfrontací s fakty, nebo ověřování platnosti úsudku formální analýzou.
Experimentální verifikace je soubor operací, které umožňují dokázat platnost nějaké hypotézy tím, že její důsledky srovnávají se zkušeností. Soudobá [[teorie]] vědy ([[Karl Raimund Popper|Karl Popper]]) nahlíží obtížnost verifikace a zdůrazňuje spíš možnost hypotézy vyvracet (falzifikovat).
Formální verifikace je postup, který pomocí logických operací ověří shodu s přijatými axiomy.
| |||