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

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

Лектор:

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

Лекции

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

Экзамен

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

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