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