[model-checking] Неподписанные контрольные