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