[model-checking] Комиссия по практикуму и досрочный экзамен