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.
Validation is the process of checking whether the specification captures the customer's needs, while verification is the process of checking that the software meets the specification. ... Validation includes activities such as requirements modelling, prototyping and user evaluation..
If I understood your question correctly, you have an algorithm/model. You are asking the difference between model verification and validation from algorithmic points of view, am I right ?
In that case, the model verification refers to verify if the model defined/designed is actually correct. This happens by defining a set of scenarios or test cases and feeding the system to check/verify if your model can solve it.
The validation then is defined as checking if your output/results are correct in accordance to the model you have designed.
In other words, verification checks if the system can find a feasible solution with respect to the constraints/conditions defined. Validation confirms the results are in fact are the one that you are looking for/expected. They make sense and they are correct.
The difference between model verification and model validation.
01. Verification :
The process of evaluating software to determine whether the products of a given development phase satisfy the conditions imposed at the start of that phase.
Verification is a static practice of verifying documents, design, code, and program.
It includes all the activities associated with producing high-quality software: inspection, design analysis, and specification analysis.
It is a relatively objective process.
Verification will help to determine whether the software is of high quality, but it will not ensure that the system is useful.
Verification is concerned with whether the system is well-engineered and error-free.
Methods of Verification: Static Testing
Walkthrough
Inspection
Review
02. Validation :
The process of evaluating software during or at the end of the development process to determine whether it satisfies specified requirements.
Validation is the process of evaluating the final product to check whether the software meets the customer expectations and requirements.
It is a dynamic mechanism of validating and testing the actual product.
Methods of Validation: Dynamic Testing
Testing
End Users
The difference between the Validation and Verification is largely to do with the role of specifications.
01. Verification is the process of checking that the software meets the specification.
“Did I build what I need?”
02. Validation is the process of checking whether the specification captures the customer’s needs.
Verification is the process of determining that a model implementation accurately represents the developer's conceptual description of the model and its solution. Validation is the process of determining the degree to which a model is an accurate representation of the real world from the perspective of the intended uses of the model.
Pls. check "Concepts of Model Verification and Validation" for your reference. Article Concepts of Model Verification and Validation