Artigo 817.º(Princípio geral)

Não sendo a obrigação voluntariamente cumprida, tem o credor o direito de exigir judicialmente o seu cumprimento e de
executar o património do devedor, nos termos declarados neste código e nas leis de processo.