Editing Formal verification (section)

== Verification and validation ==
{{main|Verification and validation}}

Verification is one aspect of testing a product's fitness for purpose. Validation is the complementary aspect. Often one refers to the overall checking process as V & V.

* '''Validation''': "Are we trying to make the right thing?", i.e., is the product specified to the user's actual needs?
* '''Verification''': "Have we made what we were trying to make?", i.e., does the product conform to the specifications?

The verification process consists of static/structural and dynamic/behavioral aspects. E.g., for a software product one can inspect the source code (static) and run against specific test cases (dynamic). Validation usually can be done only dynamically, i.e., the product is tested by putting it through typical and atypical usages ("Does it satisfactorily meet all [[use case]]s?").