La verificación formal proporciona barreras de protección. El mejor momento para empezar a usar herramientas como @quint_lang es hoy, no mañana