o art. 535, § 2º, do CPC estabelece que, quando a executada alegar excesso de execução pleiteando quantia superior à resultante do título, cumprirá ao exequente comprovar de imediato a correção dos cálculos apresentados, mediante juntada de documentos que demonstrem a aplicação correta dos índices de correção monetária e juros, sob pena de não conhecimento da arguição de excesso de execução por parte da Fazenda Pública.

considera-se inexigível a obrigação reconhecida em título executivo judicial fundado em lei ou ato normativo considerado inconstitucional pelo Supremo Tribunal Federal ou fundado em aplicação ou interpretação da lei ou do ato normativo tido pelo STF como incompatível com a Constituição Federal, em controle de constitucionalidade concentrado ou difuso, sendo que, conforme estabelece o § 7º do mesmo artigo, a decisão do STF deve ter sido proferida antes do trânsito em julgado da decisão exequenda para que possa fundamentar a alegação de inexigibilidade na impugnação. 

a impugnação à execução apresentada pela Fazenda Pública, nos termos do art. 535 do CPC, possui prazo de 15 (quinze) dias contados da intimação, aplicando-se subsidiariamente as regras dos embargos à execução previstas nos arts. 914 e seguintes do mesmo Código, sendo vedada a alegação de matérias não previstas taxativamente nos incisos I a VI do caput do referido artigo, em razão do caráter restrito das defesas da Fazenda Pública.

conforme o art. 535, § 6º, do CPC, os efeitos da decisão do Supremo Tribunal Federal que reconheça a inconstitucionalidade de lei ou ato normativo, fundamento do título executivo, poderão ser modulados no tempo de modo a favorecer a segurança jurídica, sendo esta modulação temporal realizada obrigatoriamente pelo próprio juízo da execução, que deverá avaliar as consequências práticas da declaração de inexigibilidade nos autos do cumprimento de sentença.