Weryfikacja formalna

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