[model-checking] Порядок сдачи экзамена