Otras técnica es la "comprobación del modelo", que es equivalente a la enumeración por medio de la "fuerza bruta" de muchos estados posibles (aunque como la puesta en práctica real de probadores del modelo requiere mucha inteligencia, es algo excesivo decir que el método solo requiere de fuerza bruta).