Город: Санкт-Петербург Казань Язык: Русский English

Верификация параллельных и распределенных программных систем
Санкт-Петербург / весна 2012, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

Мини-курс посвящён изложению интересных новых результатов теоретической информатики, имеющих важное применение в верификации дискретных систем. Изложение материала доступно студентам младших курсов. Участникам семинара будут розданы (в ограниченном количестве) пособия, в которых излагается как теоретический материал семинара, так и практические рекомендации по использованию системы верификации SPIN. Для участия в практической работе необходимо принести с собой ноутбук с установленной системой SPIN: http://dcn.ftk.spbstu.ru/~belyaev/materials.rar