What is the difference between model verification and model validation?

I have a data access control policy model. I want to know the difference between the model verification and model validation with respect to a formal model of an access control task.

07 October 2019 5,579 4 View