Автор: Ремизов А. О., Шалыто А. А., д.т.н., профессор
Место размещения: //Системы управления и обработки информации: Научн.-техн. сб. /ОАО «Концерн «НПО «Аврора». СПб, 2010. — Вып. 21. — С. 84-94.


В работе перечислены методы верификации программного обеспечения, и показано, что для автоматных программ уровень автоматизации процесса верификации существенно выше, чем для программ, написанных традиционным способом, так как при автоматном подходе первичной является модель поведения программы, а при верификации традиционных программ модель строится по уже готовой программе, что обычно составляет проблему.



Назад в раздел