Hoare logic: logika Hoare'a
Opracowana przez C. A. R. Hoare’a matematyczna metoda dowodzenia poprawności algorytmów. Metodą tą można udowodnić tylko częściową poprawność algorytmu (partial-correctness-of-algorithm).
Podoba Ci się ta strona?
Pomóż nam się rozwijać, wykupując płatne konto. Dzięki temu będziemy mogli tworzyć dla Ciebie jeszcze więcej ciekawych treści, a Ty pozbędziesz się reklam.