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

2021-2022 учебный год

Лектор:

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

Лекции

  1. Качество ПО
  2. Модели программ
  3. Model checking
  4. Статический анализ
  5. SMT и SAT
  6. Bounded Model Checking

Экзамен

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

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

Обновлено: 10.01.2022 10:53

VK button

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

FedCSIS 2017 banner

TMPA-2017 banner

SEIM-2017 banner

Мета

Вход на сайт

© 1998/2009 ТКЦ ФТК