Weryfikacja formalna
![]() | Ten artykuł dotyczy algorytmiki. Zobacz też: inne znaczenia hasła weryfikacja. |
Weryfikacja formalna – stwierdzenie poprawności algorytmu w oparciu o formalne metody matematyczne.
Bibliografia
- Formal Verification in Industry. (ang.).
- Introduction to Formal Verification, Berkeley University of California