Спецсеминар «Корректность программ»


Спецсеминар «Корректность программ»

д.ф.-м.н. Петренко Александр Константинович, к.ф.-м.н. Хорошилов Алексей Владимирович, к.ф.-м.н. Кулямин Виктор Вячеславович. ВМК МГУ, 3-4 курс.

Спецсеминар "Корректность программ" посвящён методам построения сложных программных комплексов (операционных систем или авионики), отвечающих повышенным требованиям  по точности реализации функциональных требований, надёжности и защищённости. Теоретической основой этих методов служат разработка и верификация формальных моделей программ при помощи инструментов верификации моделей (model checking), дедуктивной верификации, динамической верификации (runtime verification) и др. 


Курс группы

Технологии программирования

Перейти к учебным курсам ИСП РАН