Estas limitaciones están dadas por la reducción del tamaño del modelo a la hora de su comprobación y análisis.