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

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

Лектор:

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

Лекции

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

Экзамен

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

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

Обновлено: 15.01.2017 23:17

VK button

Полезные ссылки

FedCSIS 2017 banner

TMPA-2017 banner

SEIM-2017 banner

SYBCONF2017 banner

Мета

Вход на сайт

© 1998/2009 ТКЦ ФТК