A Verificação Formal fornece barreiras de proteção. O melhor momento para começar a usar ferramentas como @quint_lang é hoje, não amanhã