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