Explosion de Modèles

Un phénomène, en spécification formelle et logique, où le nombre, la taille ou la complexité structurelle des modèles satisfaisants croît très rapidement (souvent de façon combinatoire ou exponentielle) quand la taille d'entrée, le vocabulaire ou les contraintes changent légèrement.