Io-7-wyk-Slajd13
Z Studia Informatyczne
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.
