Uma Prova de Conceito para a Verificação Formal de Contratos Inteligentes. - Murilo de Souza Neves; Adilson Luiz Bonifácio (CoRR, 2026)