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

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

Лектор:

• Ицыксон В.М.

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

Лекции

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

Экзамен

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

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

• 2017-2018 год
• 2016-2017 год
• 2014 год
• 2011/2012 год
• 2010/2011 год