Курс "Методы анализа и обеспечения качества ПО"

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

Лектор:

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

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

Лекции

1. Модели программ
2. Model checking
3. Статический анализ
4. Bounded Model Checking

Экзамен

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

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

• 2014 год
• 2011/2012 год
• 2010/2011 год