Верификация параллельных и распределенных программных систем

Мини-курс посвящён изложению интересных новых результатов теоретической информатики, имеющих важное применение в верификации дискретных систем. Изложение материала доступно студентам младших курсов. Участникам семинара будут розданы (в ограниченном количестве) пособия, в которых излагается как теоретический материал семинара, так и практические рекомендации по использованию системы верификации SPIN.

  Мини-курс посвящён изложению интересных новых результатов теоретической информатики, имеющих важное применение в верификации дискретных систем. Изложение материала доступно студентам младших курсов. Участникам семинара будут розданы (в ограниченном количестве) пособия, в которых излагается как теоретический материал семинара, так и практические рекомендации по использованию системы верификации SPIN.

Место проведения: Computer Science клуб, наб. реки Фонтанки, д. 27
Регистрация на мероприятие обязательна
Стоимость участия: регистрация отсутствует - бесплатно

Реклама

Популярные мероприятия
Соглашение на обработку персональных данных