Se verifica cada uno de los modelos generados en el proceso de Análisis, comprobando que son correctos y cumplen las normas determinadas.