Weryfikacja formalna
Z Wikipedii, wolnej encyklopedii
W informatyce weryfikacja formalna to stwierdzenie o poprawności algorytmu w oparciu o formalne metody matematyczne.
- Tę stronę ostatnio zmodyfikowano o 20:27, 14 mar 2013.
- Tekst udostępniany na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. Zobacz szczegółowe informacje o warunkach korzystania.
- Zasady zachowania poufności
- O Wikipedii
- Korzystasz z Wikipedii tylko na własną odpowiedzialność
- Wersja dla urządzeń mobilnych
