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

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

Длительность семинаров: 11:15—17:10, с двумя перерывами.