Verifikace programu

Verifikace programu se zabývá podáním formálního důkazu správnosti algoritmu. Skládá se ze dvou částí:

[editovat] Související články

Tento článek týkající se softwaru je příliš stručný nebo neobsahuje důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte.

Tento článek je převzat z české wikipedie - otevřené encyklopedie, originální článek naleznete na adrese: „http://cs.wikipedia.org/wiki/Verifikace_programu“
Stránka byla naposledy upravena v Stránka byla naposledy editována 2. 7. 2008 v 21:21.
Veškerý text je dostupný za podmínek GNU Free Documentation License (Autorské právo pro podrobnosti).