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