El documento propone una nueva técnica para mitigar el estado de explosión en la verificación de modelos. La técnica se llama enfoque de dividir y conquistar para la verificación de modelos eventual. Tal como lo indica el nombre, la técnica está dedicada a propiedades eventuales. La técnica divide un problema original de verificación de modelos eventuales en múltiples problemas más pequeños de verificación de modelos y aborda cada uno de ellos. Demostramos un teorema que los múltiples problemas más pequeños de verificación de modelos son equivalentes al problema original de verificación de modelos eventuales. Realizamos un estudio de caso que demuestra el poder de la técnica propuesta.