Io-7-wyk-Slajd13

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Dowodzenie poprawności programów(1)

Dowodzenie poprawności programów(1)


Przytoczyłem biografię prof. Hoara, gdyż wniósł on bardzo wiele do rozwoju metod formalnych. Znana jest tzw. hipoteza Hoare’a, zgodnie z którą dowodzenie programów rozwiązuje problemy poprawności, dokumentacji i kompatybilności. Hipoteza ta stanowi dla wielu osób punkt wyjścia i uzasadnienie prowadzenia badań w zakresie metod formalnych.


<< Poprzedni slajd | Spis treści | Następny slajd >>