Верификация параллельных и распределенных программных систем
Курс ХитПредмет:
- Computer Science
Лектор:
![](https://www.lektorium.tv/sites/lektorium.tv/files/courses/1332785546_22862_CSCLUB_Verifikaziya_parallelnih_i_raspredelennih_programmnih_sistem_1_kurs.jpg)
Мини-курс посвящён изложению интересных новых результатов теоретической информатики, имеющих важное применение в верификации дискретных систем. Изложение материала доступно студентам младших курсов. Участникам семинара будут розданы (в ограниченном количестве) пособия, в которых излагается как теоретический материал семинара, так и практические рекомендации по использованию системы верификации SPIN. Для участия в практической работе необходимо принести с собой ноутбук с установленной системой SPIN.