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

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

Лектор:

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

Лекции

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

Экзамен

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

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