Weryfikacja formalna
Z Wikipedii, wolnej encyclopedia
Weryfikacja formalna – stwierdzenie poprawności algorytmu w oparciu o formalne metody matematyczne.
Ten artykuł dotyczy algorytmiki. Zobacz też: inne znaczenia hasła weryfikacja. |
Weryfikacja formalna – stwierdzenie poprawności algorytmu w oparciu o formalne metody matematyczne.
Ten artykuł dotyczy algorytmiki. Zobacz też: inne znaczenia hasła weryfikacja. |