Верификация программного обеспечения, часть 1

к.ф.-м.н. Мутилин Вадим Сергеевич. МФТИ, 10 семестр (1 курс магистратуры).

Курс представляет собой введение в методы верификации программного обеспечения. Цель курса – познакомить с предметом верификации ПО, представить широкую палитру существующих методов и подходов, а также осветить преимущества и ограничения, присущие методам верификации. В рамках курса рассматриваются методы статического анализа программ, методы проверки моделей (model checking), методы динамического анализа программ и различные варианты функционального тестирования.

Курс группы

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

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