Произведён обзор средств, предназначенных для уменьшения количества ошибок в программах, описана роль моделирования в этом процессе и приведён список проблем, возникающих при проверке моделей. Модельные подходы бывают двух типов: основанные на автоматах и на логике.На практике обычно используют модельные подходы, основанные на логике.

Горлина А.В. (науч. рук. Комаров И.И.) ОЦЕНКА ПРИМЕНИМОСТИ ТЕОРЕТИЧЕСКИХ МОДЕЛЕЙ ДЛЯ РЕШЕНИЯ ЗАДАЧ ВЕРИФИКАЦИИ ПОЛЬЗОВАТЕЛЬСКОГО ИНТЕРФЕЙСА // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2023]. URL: https://kmu.itmo.ru/digests/article/11016