Su propuesta permite verificar modelos a medida que se van construyendo para una detección temprana de errores.