Институт системного программирования Роcсийской академии наук


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

к.ф.-м.н. Пакулин Николай Витальевич. весенний полугодовой курс.

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

Курс группы

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

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