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

21 июня, в понедельник, будет пересдача для тех из вас, кто не уехал на военные сборы. Время начала -- 10 утра, аудитория 510.

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

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

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

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

Для тех, кто в танке, сообщаю, что после начала подготовки и до выставления оценки 1) общение с сокурсниками 2) пользование мобильным телефоном и 3) использование шпаргалок запрещено и ведёт к удалению с экзамена с выставлением оценки "неудовлетворительно". Выход из аудитории во время экзамена сопровождается сдаванием работы.

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