El análisis automático de modelos de variabilidad es una actividad clave dentro de la gestión de la variabilidad. Existe un variado número de investigaciones y de enfoques que se han centrado en esta temática, fundamentalmente debido a que el hecho de determinar la validez de los modelos e identificar los problemas que contiene tanto a nivel de la definición de una línea de productos de software así como la instanciación y generación de productos en etapas tempranas, agiliza el desarrollo de la misma. Estos numerosos enfoques presentan diferentes tipos de modelos con distintas reglas, elementos y dependencias; diferentes procesos de validación y diversas reglas lógicas que soportan el análisis, así como diferentes solver (resolvedores lógicos) que determinan la validez de los modelos. Teniendo en cuenta este contexto, en este trabajo presentamos una Meta-herramienta de análisis automático basada en un proceso general, con el objetivo de proveer la suficiente flexibilidad que permita ser adaptada a diferentes modelos, reglas y resolvedores lógicos.