Институт системного программирования им. В.П. Иванникова РАН

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

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

Курс группы

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