Weryfikacja formalna – stwierdzenie poprawności algorytmu w oparciu o formalne metody matematyczne.

Zobacz też

automatyczne dowodzenie twierdzeń

Bibliografia

Introduction to Formal Verification, Berkeley University of California

Kategoria:Algorytmika