[model-checking] Про зачеты по практикуму