Herramienta de validación de doble programación