Weryfikacja formalna – Wikipedia, wolna encyklopedia

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

Źródło: „https://pl.wikipedia.org/w/index.php?title=Weryfikacja_formalna&oldid=42073567”