Подразделение: ИИТУ/ИУС
Форма обучения: Очная
Программа ВПО/ДПО: 231000 программная инженерия
Курс: 5

Курс разрабатывается в рамках реализации программы развития СПбГПУ на 2010-2019 годы как национального исследовательского университета. Отличительной особенностью курса является использование подхода CDIO с основным упором на практическое применение знаний полученных студентами в рамках обучения. По прохождении курса студент получает навыки в определении и использований пверификации в процессе разработки программного обеспечения, опыт использования формальных моделей программ для создания моделей. Также студенты получают практику использования современных инструментов верификации, позволяющих проводить проверку моделей как методом model checking так и методами дедуктивного анализа.
Подразделение: ИИТУ/ИУС
Форма обучения: Очная
Программа ВПО/ДПО: 231000 программная инженерия
Курс: 5

Верификация программного обеспечения: Модели программ, методы верификации, инструментарий верификации.