Weryfikacja formalna

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj
Inne znaczenia Ten artykuł dotyczy algorytmiki. Zobacz też: inne znaczenia hasła weryfikacja.

Weryfikacja formalna – stwierdzenie poprawności algorytmu w oparciu o formalne metody matematyczne.

Bibliografia[edytuj | edytuj kod]