Term "model validation"

[martin1]

Hi,
One question related to the "Model validation" feature of EA.

In short, I learned that validation answers the question "do I build the right model?",
whereas verification answers the question "do I build the model right?"

The "model validation" feature of EA allows to define checks to decide if a model (or parts thereof) fulfills certain properties. To me, this is more like verification. Model validation can only be achieved through looking at higher level requirements (e.g. from stakeholders) to decide if the model fits the purpose.

Why is this feature called model validation? Did Sparx have another interpretation of validation? Or do I miss something here?