Weryfikacja formalna

Z Wikipedii

Skocz do: nawigacji, szukaj

W informatyce weryfikacja formalna to stwierdzenie o poprawności algorytmu w oparciu o formalne metody matematyczne.

Źródło „http://pl.wikipedia.org/wiki/Weryfikacja_formalna”
Utwórz książkę