Explosión de Modelos

Un fenómeno en especificación formal y lógica donde el número, tamaño o complejidad estructural de los modelos que satisfacen una teoría crece muy rápidamente (a menudo combinatoria o exponencialmente) cuando el tamaño de entrada, el vocabulario o las restricciones cambian ligeramente.