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

9 сентября, в понедельник, будет пересдача. Время начала -- 11 утра, аудитория 505.

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

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

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

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

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

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

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