Najlepsze pytania
Chronologia
Czat
Perspektywa
Weryfikacja formalna
Z Wikipedii, wolnej encyklopedii
Remove ads
Weryfikacja formalna – stwierdzenie poprawności algorytmu w oparciu o formalne metody matematyczne.
Zobacz też
Bibliografia
- Formal Verification in Industry. (ang.).
- Introduction to Formal Verification, Berkeley University of California
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads