информатика информатика | Page 5

-системы управления воздушным и дорожным движением;

-нефтегазовая промышленность;

-медицинская аппаратура; - и прочие

ЗАЧЕМ НУЖНА ПРОВЕРКА ПРАВИЛЬНОСТИ ПРОГРАММ?

Возрастание трудоемкости проверки правильности программ.

Вычислительная аппаратура становится дешевле, а производительность компьютеров возрастает.

Появляются новые возможности автоматического решения все более и более сложных задач.

Происходит увеличение объемов программного кода.

Происходит увеличение объемов программного кода.

Формальные методы верификации предназначены не для доказательства того, что в проектируемой системе НЕТ ошибок определенного вида.