Курс "Верификация и анализ программ"
2019-2020 учебный год
Лектор:
Программа курса
Лекции
- Модели программ
- Model checking
- Статический анализ
- Абстрактная интерпретация
- SMT и SAT
- Bounded Model Checking
- Языки спецификаций
Экзамен
Список экзаменационных вопросов приведен здесь
