Verifikace programu

Z Wikipedie, otevřené encyklopedie

Skočit na: Navigace, Hledání

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

  • Důkaz konečnosti
  • Důkaz zachování invariantu

[editovat] Související články


Citováno z „http://cs.wikipedia.org/wiki/Verifikace_programu“