Verificación automatizada