Weryfikacja formalna
Wygląd
Weryfikacja formalna – stwierdzenie poprawności algorytmu w oparciu o formalne metody matematyczne.
Bibliografia[edytuj | edytuj kod]
- Formal Verification in Industry. (ang.).
- Introduction to Formal Verification, Berkeley University of California