De facto, qualquer credor tem, em caso de não realização da prestação, uma garantia judiciária da obrigação, consistente na possibilidade de exigir judicialmente o seu cumprimento e de executar o património do devedor, nos termos previstos pelo referido art. 817 do Código Civil.