Дорогие студенты,
Пересдача состоится 14 июня в 9:00. Пожалуйста, закажите аудиторию вроде
609.
Тем, у кого максимальный возможный балл не превышает 2, будет предложена
контрольная работа. В работе будет набор простых задач, проверяющих те
практические навыки, которые вы должны были получить в ходе данного
курса, а именно:
1. Оценка числа потенциальных состояний параллельной программы,
2. Оценка числа достижимых состояний параллельной программы,
3. Построение LTS,
4. Построение модели параллельной программы на языке Promela,
5. Выполнение абстракции с учётом проверяемых свойств,
6. Формулировка свойств параллельной программы при помощи встроенных
средств SPIN,
7. Формулировка свойств параллельной программы при помощи LTL.
Возможно, заданий будет меньше. Пользоваться можно будет головой,
бумагой и ручкой -- предполагается, что вы прорешали практикум и готовы
продемонстрировать полученные навыки. При выполнении всех заданий (с
незначительными недочётами) у вас будет базовый балл 0, максимальная
оценка 3 и возможность сдать устный экзамен.
В остальном пересдача будет протекать по той же схеме, что и основной
экзамен.
Распорядок сделаем такой: все приходят к 9, с 9 до 11 те, кому это
нужно, пишут контрольные, в это время готовятся и сдают остальные.
Дальше мы сделаем небольшой перерыв для проверки контрольных, после
которого примем устный экзамен у тех "подконтрольных", кому имеет смысл
его сдавать.
На всякий случай напоминаю всем про недопустимость использования на
экзамене шпаргалок, мобильных телефонов и иных заменителей памяти.
С уважением,
Константин Савенков.
