Verificação Formal do Algoritmo de Árvore de Merkle Incremental em Dafny (Contrato de Depósito Eth 2) | Knoovi