Io-1-wyk-Slajd76

Metody formalne(1)

Zasadnicza koncepcja związana z metodami formalnymi polega na tym, by wykazywać poprawność programów nie w oparciu o testy czy przeglądy, lecz na gruncie matematycznym, poprzez dowodzenie właściwości programów.

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