Modellexplosion

Ein Phänomen in formaler Spezifikation und Logik, bei dem Zahl, Größe oder strukturelle Komplexität erfüllender Modelle sehr schnell (oft kombinatorisch oder exponentiell) wächst, wenn Eingabegröße, Vokabular oder Nebenbedingungen sich leicht ändern.