Tworzenie książki (wyłącz)
 Dodaj tę stronę do książki Pokaż książkę (0 stron) Proponowane strony

Weryfikacja formalna

Z Wikipedii, wolnej encyklopedii
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/w/index.php?title=Weryfikacja_formalna&oldid=24595736”
Osobiste
Przestrzenie nazw

Warianty
Działania
Nawigacja
Dla czytelników
Dla wikipedystów
Narzędzia
Drukuj lub eksportuj
W innych językach

Polecamy: Pozycjonowanie, wózki dziecięce, Kino domowe, Viagra, Kredyty