Дорогие студенты,

Пересдача состоится 14 июня в 9:00. Пожалуйста, закажите аудиторию вроде 609.

Тем, у кого максимальный возможный балл не превышает 2, будет предложена контрольная работа. В работе будет набор простых задач, проверяющих те практические навыки, которые вы должны были получить в ходе данного курса, а именно:

1. Оценка числа потенциальных состояний параллельной программы, 2. Оценка числа достижимых состояний параллельной программы, 3. Построение LTS, 4. Построение модели параллельной программы на языке Promela, 5. Выполнение абстракции с учётом проверяемых свойств, 6. Формулировка свойств параллельной программы при помощи встроенных средств SPIN, 7. Формулировка свойств параллельной программы при помощи LTL.

Возможно, заданий будет меньше. Пользоваться можно будет головой, бумагой и ручкой -- предполагается, что вы прорешали практикум и готовы продемонстрировать полученные навыки. При выполнении всех заданий (с незначительными недочётами) у вас будет базовый балл 0, максимальная оценка 3 и возможность сдать устный экзамен.

В остальном пересдача будет протекать по той же схеме, что и основной экзамен.

Распорядок сделаем такой: все приходят к 9, с 9 до 11 те, кому это нужно, пишут контрольные, в это время готовятся и сдают остальные. Дальше мы сделаем небольшой перерыв для проверки контрольных, после которого примем устный экзамен у тех "подконтрольных", кому имеет смысл его сдавать.

На всякий случай напоминаю всем про недопустимость использования на экзамене шпаргалок, мобильных телефонов и иных заменителей памяти.

С уважением, Константин Савенков.