Model Checking для информационных систем

  • Курс посвящён изложению интересных новых результатов теоретической информатики, имеющих важное применение в верификации дискретных систем. Излагается как теоретический материал семинара, так и практические рекомендации по использованию системы верификации SPIN. Описывается сфера применения Model Checking. Подробно рассматриваются методы Model Checking: автоматы, деревья решений, BDD.
  • Образовательная программа 7M06103 Информационные системы
  • Кредитов 5
  • Год обучения 1
  • Семестр 1
Top