Métodos formales y el futuro de la programación: qué vale la pena probar y dónde está el techo

La conversación sobre métodos formales en programación repite cada 3-4 años, pero falta una discusión sobre los costos y beneficios reales de implementar estas herramientas. Los formal methods pueden ayudar a resolver bugs de lógica que no se cubren con tests y tipos, pero requieren una evaluación cuidadosa de sus ventajas y desventajas. Es importante considerar los prerrequisitos de equipo y el costo de instalación antes de adoptar estas herramientas.