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

Discussions recur every few years regarding formal methods, including verification formal, mathematical specification, and model checking, as solutions for persistent bugs. While some utilize TLA+ for distributed systems or Alloy in projects, others report abandonment, though AWS and Microsoft use them in production. Simultaneously, Juanjo González, assistant to Luis de la Fuente, highlighted Gavi's starting role for Spain's Copa del Mundo debut, emphasizing maximum respect for the opponent and the emotion of performing well from the start.