Weryfikacja formalna

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

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

Bibliografia[edytuj | edytuj kod]