Курс "Методы анализа и обеспечения качества ПО"

2016-2017 учебный год

Лектор:

Программа курса

Лекции

  1. Модели программ
  2. Model checking
  3. Статический анализ
  4. Bounded Model Checking

Экзамен

Список экзаменационных вопросов приведен здесь

Архив за предыдущие годы