Курс "Верификация и анализ программ"

2020-2021 учебный год

Лектор:

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

Лекции

  1. Качество ПО
  2. Модели программ
  3. Model checking
  4. Статический анализ
  5. SMT и SAT
  6. Bounded Model Checking
  7. Дедуктивная верификация
  8. Языки спецификаций

Экзамен

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

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