[model-checking] Пересдача по верификации