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